Adjustment calculus - Mervart, Leoš 1967-; Lukeš, Zdeněk (České vysoké učení technické v Praze, 2007)