Algebraic Methods 1989: Mierlo, The Netherlands

Part I: Invited Contributions

Part II: Requirements and Design

Part III: COLD

Part IV: Algebraic Specification

a service of Schloss Dagstuhl - Leibniz Center for Informatics