index
I.Burdonov, A.Kossatchev, A.Petrenko, S.Cheng, H.Wong .
Formal Specification and Verification of SOS Kernel.
BNR/NORTEL Design Forum, June 1996.
7 стр.