TY - BOOK AU - Astesiano, E., ed. AU - Kreowski, H.J., ed. AU - Krieg-Bruckner, B., ed. TI - Algebraic foundations of systems specification SN - 3540637729 U1 - 512.9 PY - 1999/// CY - Berlin PB - Springer-Verlag N1 - IFIP State-of-the-Art Reports ER -