IEEE ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE,21ST,1981 - 1 - NEW YORK IEEE 1981 - 429 ISBN: NCST 27 Dewey Class. No.: 236