Algebraic Specification (1989)

by J A Bergstra, J Heering, P Klint