Mathematical foundations of programming semantics : proceedings of the International conference held in Manhattan, Kansas on April 1985 - INTERNATIONAL CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (1985 : Manhattan, Kansas) ; MELTON, Austin (Springer, 1986)