W. F. Clocksin A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs. 231-242 1988 5 J. Log. Program. 3 db/journals/jlp/jlp5.html#Clocksin88