Formalization of the development process (1998)

by D Basin, B Krieg-Bruckner
Venue:In Astesiano, Kreowski, and Krieg-Br uckner Eds., Algebraic Foundations of System Specification