@book{968,
	author = {Copenhagen Winter School on Abstract Software Specifications and Bjorner, Dines, and Commission of the European Communities},
	title = {Abstract software specification :},
	publisher = {Springer-Verlag,},
	year = {1980},
	address = {Berlin :},
	note = {Sponsored by the Commission of the European Communities and others}
}