The absence and the presence of fixed point combinators (1991)

by W McCune, L Wos
Venue:Theoretical Computer Science