Кларк Э.М. Верификация моделей программ: Model Checking / Э.М.Кларк,О.Грамберг,Д.Пелед;Пер.с англ.В.Захарова и др.;Под ред.Смелянского, 2002. - 416 с. - Текст : непосредственный.