Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings - Main, M. (Michael), 1956- (Lecture notes in computer science, 1988)