Hendrik C. R. Lock: A Systematic Method for Designing Abstract Narrowing Machines. Declarative Programming 1991: 188-203