Cena profesora Babušky v oboru počítačových věd v roce 2008. (Czech) [2008 Professor Babuška Prize in computing sciences]. Pokroky matematiky, fyziky a astronomie, vol. 53 (2008), issue 2, pp. [177]-[177]