Шошмина И.В. Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов, 2010. - 111 с. с. - Текст : непосредственный.
Карпов Ю.Г. Верификация распределенных систем : учеб. пособие / Ю. Г. Карпов, И. В. Шошмина, 2011. - 211 с. с. - Текст : непосредственный.