Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
Algebraic System Specification and Development - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540473824
Computer Science
Algebraic System Specification and Development - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540473824
Computer Science