Jan A. Bergstra Jan Willem Klop Invertible Terms in the Lambda Calculus. 19-37 1980 11 Theor. Comput. Sci. db/journals/tcs/tcs11.html#BergstraK80