000			00485nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783642598517
100			_aEgidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
245		0	_aAlgebraic Foundations of Systems Specification
250			_a1999
260			_bSpringer Berlin Heidelberg _c1999
440			_aIFIP State-of-the-Art Reports
650			_aComputer Science
856			_uhttps://doi.org/10.1007/978-3-642-59851-7
999			_c27202 _d27202