@inproceedings{RuttenTuri94,
	author = {J. Rutten and D. Turi}, 
	title = {Initial algebra and final coalgebra semantics 
				for concurrency},
	editor = {J. de Bakker and others},
	booktitle = {Proc.\ of the REX workshop
		A Decade of Concurrency -- Reflections and Perspectives},
	series = {LNCS}, 
        volume = {803},
        pages = {530-582},
	publisher = {Springer-Verlag},
	year = {1994}}