rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Trích dẫn kiểu Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Trích dẫn MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.