"An Algebra of Relations for Machine Computation."

Patrick A. V. Hall, Peter Hitchcock, Stephen Todd (1975)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics