Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
An Algebra of Relations for Machine Computation
POPL, 1975.
@inproceedings{POPL-1975-HallHT,
author = "Patrick A. V. Hall and Peter Hitchcock and Stephen Todd",
booktitle = "{Conference Record of the Second Symposium on Principles of Programming Languages}",
doi = "10.1145/512976.512998",
editor = "Robert M. Graham and Michael A. Harrison and John C. Reynolds",
pages = "225--232",
publisher = "{ACM Press}",
title = "{An Algebra of Relations for Machine Computation}",
year = 1975,
}