@INPROCEEDINGS{connections,
	AUTHOR = "E. Stark",
	TITLE = "Connections between a Concrete and an Abstract Model of
			Concurrent Systems",
	BOOKTITLE = "Proceedings of the Fifth Conference on Mathematical
			Foundations of Program Semantics},
	PUBLISHER = "Springer-Verlag",
	SERIES = "Lecture Notes in Computer Science",
	CITY = "New Orleans",
	YEAR = "1989",
	MONTH = MAR,
	VOLUME = 442,
	PAGES = "53--79"
}