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