Ian Watson, Paul Watson: Graph reduction in a parallel virtual memory environment. Graph Reduction 1986: 265-274