Author: International Conference on the Mathematical Foundations of programmin