An introduction to ASL (1986)

by E Astesiano, M Wirsing
Venue:Proc. IFIP WG2.1 Conf. on Program Specifications and Transformations, North-Holland