rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago-стиль цитированияrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA-цитированиеrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.