Lambda Calculi plus Letrec (1997)

by Z M Ariola, S Blom