Patrick A. V. Hall, Peter Hitchcock, Stephen Todd. An Algebra of Relations for Machine Computation. In POPL. pages 225-232, 1975.
@inproceedings{HallHT75,
title = {An Algebra of Relations for Machine Computation},
author = {Patrick A. V. Hall and Peter Hitchcock and Stephen Todd},
year = {1975},
tags = { algebra},
researchr = {https://researchr.org/publication/HallHT75},
cites = {0},
citedby = {0},
pages = {225-232},
booktitle = {POPL},
}