Tverdyshev, Sergey International Max Planck Research School, MPI for Informatics, Max Planck Society;
Tverdyshev, S. (2003). Documentation and Modelling of the IPC Mechanism in the L4 Kernel. Master Thesis, Universität des Saarlandes, Saarbrücken.