@book{ 89187,
	author = "Winter, Michael;  Kempf, Peter",
	editor = "",
	title = "Relational Semantics for Processes ",
	publisher = "Universität der Bundeswehr München, Fakultät für Informatik",
	number = "1998-01",
	year = "1998-12"
}