Mikrojadro oprečaného systému = Microkernel of operation system : Dipl.práca - Hurton, Martin (STU v Bratislave FEI, 1998)