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