External Links

    Journal: Formal Asp. Comput.

    Volume 2, Issue 1

    1 -- 23José Nuno Oliveira. A Reification Calculus for Model-Oriented Software Specification
    24 -- 59José Carmo, Amílcar Sernadas. Branching versus Linear Logics Yet Again
    60 -- 104Wim H. Hesselink. Command Algebras, Recursion and Program Transformation
    runs on