Advanced topics in types and programming languages - Pierce, Benjamin C. (Cambridge, Massachusetts : MIT Press, 2005)
Sadrži bibliografiju (str. [535]-565) i kazalo.
Keywords: Programming languages (Electronic computers)