Exported entries (BibTeX)

@book { deursenHK96-1593,
	year = {1996},
	title = {Language Prototyping: An Algebraic Specification Approach},
	publisher = {World Scientific},
	author = {A. van Deursen and J. Heering and P. Klint}
}