Mathematical foundations of computer science - Vaníček, Jiří, 1937-2011 (Kernberg ; Alfa Nakladatelství, 2008)