2. MPC 1992:
Rod M. Burstall
: Extended Calculus of Constructions as a Specification Language (Abstract).
: Pretty-printing: An Exercise in Functional Programming.
Johan J. Lukkien
: An Operational Semantics for the Guarded Command Language.
: Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space.
: An Alternative Derivation of a Binary Heap Construction Function.