Simulátor formálnych výpočtových strojov - Turingov stroj, RAM - Rodina , Dušan, 1986- (STU v Bratislave FIIT, 2008)