TY - BOOK AU - Astesiano, E. . TI - Algebraic foundations of systems specification / SN - 3-540-63772-9 U1 - B25 PY - 1999/// CY - New York : PB - Springer , KW - Mathematics- Algebraic foundations ER -