Object oriented algebraic specification proposal for a notation and 12 examples - Bergstra, Jan A. 1951-; Heering, Jan; Klop, Jan Willem 1945- (1984)