Hoare, C., & Lauer, P. (1974). Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रHoare, C., और P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
एमएलए (9वां संस्करण) प्रशस्ति पत्रHoare, C., और P. Lauer. Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 1974.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.