Paralelní systémy a algoritmy - Tvrdík, Pavel (České vysoké učení technické v Praze, 2002)