Studies, et al.. Lectures on Unification. 30 Nov. 1997.