Meiton Austin Ed. Proceeding on Mathematical foundations of programming semantics - Berlin Springer-Verlag 1986 - vi, 395p. cm. - Lecture notes in computer science; 239 . Standard No.: 74148 Source: Textual Subjects--Topical Terms: Computer programming Dewey Class. No.: D65,8(B)92, M6