Author: Workshop on Mathematical Foundations of Programming Semantics (6th 1990 Kingston, Canada)