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