Аналитическое конструирование идентификаторов состояний : Учеб. пособиеИноземцев, Сергей Петрович198238 с.