Title: Fourth Workshop on Mathematical Foundationsof Programming Semantics,Boulder, Co, May 1988