David H. D. Warren Logic Programming and Compiler Writing. 97-125 1980 10 Softw., Pract. Exper. 2 db/journals/spe/spe10.html#Warren80