rohit Parikh. (1985). Logics of programs. Springer-Verlag.
शिकागो स्टाइल उद्धरणrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
एमएलए उद्धरणrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.