ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.3,1981 - BOUND VOLUME (ACM NEW YORK, 1985)