rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA引文rohit Parikh. Logics of Programs. Springer-Verlag, 1985.
警告：这些引文格式不一定是100％准确.
APA引文