Korver H.P. computer-checked verification of Milner's scheduler / H.P.Korver,J.Springintveld, 1993. - 28 p. - Текст : непосредственный.