An Algebra of Relations for Machine Computation.

Patrick A. V. Hall, Peter Hitchcock, Stephen Todd

Browse the full POPL paper archive.