An Algebra of Relations for Machine Computation. - Hall, Patrick A. V.; Hitchcock, Peter; Todd, Stephen (1975)