1. CENTAUR: The System, SIGSOFT'88;Borras,1988
2. TYPOL: A formalism to implement natural semantics;Despeyroux;INRIA Research Report 94,1988
3. Natural semantics;Kahn,1987
4. A structural view of the Cedar programming environment;Swinehart;ACM Trans. Prog. Lang. System,1986
5. LaTEX: A Document Preparation System;Lamport,1986