rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago-tyylinen lähdeviittausrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA-viiterohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.