@article {3998,
	title = {A Practical Example of the Specification of Abstract Data Types},
	journal = {Acta Informatica},
	volume = {13},
	year = {1980},
	pages = {205--224},
	doi = {10.1007/BF00288642},
	author = {Frank Tompa}
}
