Kim B. Bruce Giuseppe Longo On Combinatory Algebras and their Expansions. 31-40 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#BruceL84