Robert K. Meyer Martin W. Bunder Lawrence Powers Implementing the `Fool's Model' of Combinatory Logic. 597-630 1991 7 J. Autom. Reasoning 4 db/journals/jar/jar7.html#MeyerBP91