rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Citação norma Chicagorohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Citação norma MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.