Формальный метод / под редакцией С. Ушакина. Т. 1 : Системы. — 2016. — 952 с. (2016)