Problem ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOL.2,1980 - 1 - NEW YORK ACM 1980 ISBN: NCST 0 Dewey Class. No.: 1117