Algebraic foundations of systems specification - Astesiano, E. (Egidio), 1939-; Kreowski, H.-J. (Hans-Jörg); Krieg-Brückner, B. (Bernd) (Berlin ; New York : Springer, 1999)
Includes bibliographical references (p. 563-610) and indexes.
Keywords: Software engineering; Formal methods (Computer science); System design