A relational theory of computing - Sanderson, John G., 1929- (Lecture notes in computer science ;, 1980)