@inproceedings{ASF+SDF-1997-Mosses,
	acmid         = "2227718",
	address       = "Amsterdam, NH, The Netherlands",
	author        = "Peter D. Mosses",
	booktitle     = "{Proceedings of the Second International Workshop on Generating Tools from Algebraic Specifications}",
	editor        = "Arie van Deursen and M. P. A. Sellink and Eelco Visser",
	isbn          = "3-540-76228-0",
	month         = "September",
	pages         = "12",
	publisher     = "{British Computer Society}",
	title         = "{CASL for ASF+SDF users}",
	year          = 1997,
}