Author: Workshop on Mathematical Foundations of Programming Semantics (4th 1988 Boulder, Colo.)