Algebraic Speci cation (1989)

by Bergstra