Peter G. Harrison Mike Reeve The parallel graph reduction machine, Alice. 181-202 1986 conf/gr/1986 Graph Reduction db/conf/gr/gr1986.html#HarrisonR86 https://doi.org/10.1007/3-540-18420-1_55