An Algebra of Relations for Machine Computation

Patrick A. V. Hall, Peter Hitchcock, Stephen Todd. An Algebra of Relations for Machine Computation. In POPL. pages 225-232, 1975.

Abstract

Abstract is missing.