Basic caterogy theory for computer scientistis - Pierce, Benjamin C. (The MIT Press, 1991)