Algebraic specification. - Bergstra, J. A. (New York ACM Press, 1989)
Keywords: Abstract data types (Computer science)