TY - BOOK AU - SANDERSON,JOHN G TI - RELATIONAL THEORY OF COMPUTING (LNCS 82) SN - NCST U1 - 389 PY - 1980/// CY - BERLIN PB - SV ER -