TY - DATA AU - Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner TI - Algebraic Foundations of Systems Specification SN - 9783642598517 PY - 1999/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/978-3-642-59851-7 ER -