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