@inproceedings{ASF+SDF-1995-MauwM,
	author        = "S. Mauw and J. C. Mulder",
	booktitle     = "{Proceedings of the Workshop on Generating Tools From Algebraic Specifications}",
	editor        = "Mark van den Brand and Arie van Deursen and T. B. Dinesh and Jasper F. Th. Kamperman and Eelco Visser",
	pages         = "53--64",
	pdfurl        = "http://ivi.fnwi.uva.nl/tcs/pub/reports/1995/P9504/P9504-5.ps.gz",
	title         = "{A PSF Library of Data Types}",
	url           = "http://satoss.uni.lu/members/sjouke/papers/MaMu95.pdf",
	year          = 1995,
}