Kazmierczak, Edmund A(Albert) (1991) Algebraic reasoning in lambda calculi. PhD thesis, University of Tasmania.