Telefona gönder: Algebraic foundations of systems specification / E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.).