TY - BOOK AU - Astesiano, Egidio TI - Algebraic Foundations of Systems Specification, SN - 9783540637721 U1 - 005.11 PY - 1999/// CY - Chennai PB - Springer KW - Computer Science ER -