Востокин С.В. Графическая объектная модель параллельных процессов и ее применение в задачах численного моделирования (1.1 Теоретические основы параллельного и распределенного программирования 1.1.1. Формальные методы в области параллельных и распределенных вычислений 1.1.2. Классификация моделей распределенных систем 2.1.2. Метод описания дискретных систем с использованием темпоральной логики: исхоные книги Lamport Leslie, Lynch Nency Chapter on distributed computing. Technical Memo MIT/LCS/TM-384. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139, February 1989
http://groups.csail.mit.edu/tds/papers/Lynch/MIT-LCS-TM-384.pdf. Информация по TLA+ в интернете)
http://graphplus.ssau.ru/docs//GraphicalObjectModel.pdf