Context induction: a proof principle for behavioural abstraction and algebraic implementations (1991)

by Rolf Hennicker
Venue:Formal Aspects of Computing