rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Čikaški stil citiranjarohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA način citiranjarohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.