Title: The Generic Development Language Deva: Presentation and Case Studies / Edition 1, Author: Matthias Weber
Title: Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings / Edition 1, Author: John Hughes
Title: Software Engineering with OBJ: Algebraic Specification in Action / Edition 1, Author: Joseph A. Goguen