Book

Algebraic foundations of systems specification

by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner