TY - BOOK AU - BOUND VOLUME TI - ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.11,1989 SN - BOUND VOLUME U1 - 317 PY - 1989/// CY - NEW YORK PB - ACM N1 - BOUND VOLUME ER -