A relational theory of computing - Sanderson, John G (Berlin ; New York : Springer-Verlag, 2012)