Context induction: a proof principle for behavioral abstractions (1991)

by R Hennicker
Venue:Formal Aspects of Computing