@book{24916,
	author = {Broy, Manfred},
	title = {Models, algebras and logic of engineering software /},
	publisher = { IOS Press,},
	year = { 2003},
	address = {Amsterdam, The Netherlands:},
	note = {"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"}
}