An algebra of relations for machine computationPatrick HallPeter Hitchcocket al.1975POPL 1975Conference paper