Michel Bidoit Hans-Jörg Kreowski Pierre Lescanne Fernando Orejas Donald Sannella Algebraic System Specification and Development - A Survey and Annotated Bibliography Lecture Notes in Computer Science 501 Springer 1991 3-540-54060-1