Proof systems for structured specifications and their refinements (1999)

by Michel Bidoit, Maŕıa Victoria Cengarle, Rolf Hennicker
Venue:In Egidio Astesiano, Hans-Jörg Kreowski, and Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification