(1976). Recursive program schemes: Semantics and proof theory / W. P. de Roever, Jr.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रRecursive Program Schemes: Semantics and Proof Theory / W. P. De Roever, Jr. 1976.
एमएलए (9वां संस्करण) प्रशस्ति पत्रRecursive Program Schemes: Semantics and Proof Theory / W. P. De Roever, Jr. 1976.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.