Author: International Conference on the Mathematical Foundations of Programming Semantics (5th 1989 Tulane University)