ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.4(LESS NO.2),1982 - BOUND VOLUME (ACM NEW YORK, 1982)