ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.2,1980 - Problem (ACM NEW YORK, 1980)