A.: An overview of ASF+SDF (1996)

by van Deursen
Venue:Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing