External Links

    Journal: Formal Asp. Comput.

    Volume 12, Issue 1

    1 -- 17Jan A. Bergstra, M. E. Loots. Program Algebra for Component Code
    18 -- 40Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright. Class Refinement as Semantics of Correct Object Substitutability
    41 -- 51Martin von Mohrenschildt. Algebraic Composition of Function Tables
    52 -- 70Antonio Cau. Composing and Refining Dense Temporal Logic Specifications
    runs on