Mathematical Foundations of Programming Language Semantics 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : Proceedings by M. Mislove | Menrva Books | MenrvaBooks