The Algebraic Specification Formalism ASF (1989)

by J A Bergstra, J Heering, P Klint
Venue:In Algebraic Specification, chapter 1