@inproceedings{PatersonRA:embeddings,
	title = "Transforming Lazy Functions using Comportment Properties",
	author = "Ross Paterson",
	booktitle = "Programming Language Implementation
		and Logics of Programs",
	location = "Southampton, UK",
	series = "Lecture Notes in Computer Science",
	volume = 1292,
	publisher = "Springer",
	isbn = "3-540-63398-7",
	pages = "111-125",
	url = "http://www.soi.city.ac.uk/~ross/papers/embeddings.html",
	month = Sep,
	year = 1997
}