rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA Edition Citationrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.