@book{ 89190,
	author = "Kempf, Peter;  Schmidt, Gunther;  Winter, Michael",
	editor = "",
	title = "Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen ",
	publisher = "Universität der Bundeswehr München, Fakultät für Informatik",
	number = "1998-04",
	year = "1998-09"
}