@book{27157,
	author = {Loeckx, Jacques and Ehrich, Hans-Dieter},
	title = {Specification of abstract data types /},
	publisher = {Wiley,},
	year = {1996},
	address = {Chichester :}
}