SANDERSON,JOHN G RELATIONAL THEORY OF COMPUTING (LNCS 82) - 1 - BERLIN SV 1980 - 147 ISBN: NCST 94.6 Dewey Class. No.: 389