ENGELER,ERWIN (ED) LOGIC OF PROGRAMS: PROCEEDINGS OF WORKSHOP,1979 - 1 - BERLIN SV 1981 - 245 ISBN: NCST 96.75 Dewey Class. No.: 719