Proceeding on foundations of software technology and theroetical computer science - Berlin Springer-Verlag 1989 - 339p. cm. - Lecture notes in computer science; 405 . Standard No.: 67830 Source: Textual Subjects--Topical Terms: Computer programming Dewey Class. No.: D65,8(B)92p1,N89, M9