Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 - Abdali, S. Kamal (Lecture notes in computer science ;, 1986)