Specification languages (1999)

by D Sannella
Venue:Kreowski & B. Krieg-Brückner (eds), Algebraic Foundations of Systems Specifications