rohit Parikh. (1985). Logics of programs. Springer-Verlag.
استشهاد بنمط شيكاغوrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA استشهادrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.