The algebraic specification formalism ASF (1989)

by J BERGSTRA, J HEERING, P KLINT
Venue:In Algebraic Specification