Language Prototyping: An Algebraic Specification Approach (1996)

by A van Deursen, J Heering, P Klint
Venue:AMAST Series in Computing, vol. 5, World Scientific Publishing Co