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