Popis operačního systému TE-RTX - Rosa, Zdeněk (Operační systém reálného času : RTX-1, 1990)