An introduction to ASL (1986)

by E Astesiano, M Wirsing
Venue:In Proc. of the IFIP WG2.1 Working Conference on Program Specifications and Transformations