Hartmains J Proceeding on mathematical foundations of computer science - Berlin Springer-verlag 1979 - ix,580p. cm. - Lecture notes in computer science; 14 . Standard No.: 209 Source: Textual Dewey Class. No.: B0aD65,8(B)p1,N79, N79