Context induction: a proof principle forbehavioural abstractions. Formal Aspects of Computing (1991)

by Rolf Hennicker
Venue:In Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of Lecture Notes in ComputerScience