TY  - BOOK
AU  - Problem
TI  - ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.2,1980
SN  - NCST
U1  - 1117 
PY  - 1980///
CY  - NEW YORK
PB  - ACM
ER  -