Algebraic System Specification and Development. A Survey and Annotated Bibliography (1991)

by M Bidoit, H-J Kreowski, P Lescannes, F Orejas, D Sannella
Venue:Lecture Notes in Computer Science 501