,
Stichting Mathematisch Centrum
K.R. Apt (Krzysztof) , A. Schrijver (Lex) , N.M. Temme (Nico)
Combinatorial Optimization and Algorithmics

Bergstra, J., Heering, J.& Klop, J. W. (1994). Introductory note to "Object-Oriented Algebra Specification"(K. Apt, L. Schrijver& N. Temme, Eds.). Stichting Mathematisch Centrum.