BOUND VOLUME ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.7,1985 - 1 - NEW YORK ACM 1985 ISBN: NCST Dewey Class. No.: 317