rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Παραπομπή Chicago Stylerohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Παραπομπή MLArohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.