@book{97947,
	author = {Workshop on Specification of Abstract Data Types and Haveraaen, Magne and COMPASS Workshop},
	title = {Recent trends in data type specification :},
	publisher = {Springer,},
	year = {1996},
	address = {Berlin :}
}