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