ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.5(LESS NO.9),1983 - BOUND VOLUME (ACM NEW YORK, 1983)