rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Style aipamenarohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA aipamenarohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.