В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".
