Anglický-český výkladový slovník výpočetní techniky. English-Czech Computer VocabularyAutores variosAgotadoNotifícame
Cambridge Tracts in Theoretical Computer Science 4. Lambda-Calculus, Combinators and Functional ProgrammingGyörgy E. RévészAgotadoNotifícame