Craig I. Formal models of operating system kernels / I. Craig, 2007 r=on-line. - Текст : электронный.
Craig I. Object-oriented programming languages: interpretation / I. Craig, 2007 r=on-line
Craig I. Formal refinement for operating system kernels / I. Craig, 2007 r=on-line