Zwiers J Compositionality, concurrency and partial correctness by Zwiers J - Berlin Springer-Verlag 1989 - 272p. cm. - Lecture notes in computer science; 321 . Standard No.: 73119 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B), M9