.Workshop on the Mathematical Foundation Programming Language Smantics(3rd : 1987 : Tulane Univ.):Mathematical foundations of programme language semantics : proceedings.Springer,1988.
Workshop on the Mathematical Foundation Programming Language Smantics(3rd : 1987 : Tulane Univ.):Mathematical foundations of programme language semantics : proceedings