@inproceedings{ASF+SDF-1997-DineshT,
	acmid         = "2227714",
	address       = "Amsterdam, NH, The Netherlands",
	author        = "T. B. Dinesh and Frank Tip",
	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         = "8",
	publisher     = "{British Computer Society}",
	title         = "{A case study of a slicing-based approach for locating type errors}",
	year          = 1997,
}