RELATIONAL THEORY OF COMPUTING (LNCS 82) - SANDERSON,JOHN G (SV BERLIN, 1980)