Roever, W. d. (1976). Recursive program schemes: Semantics and proof theory. Math. Centrum.
Chicago Style (17th ed.) CitationRoever, Willem-Paul de. Recursive Program Schemes: Semantics and Proof Theory. Amsterdam: Math. Centrum, 1976.
MLA (9th ed.) CitationRoever, Willem-Paul de. Recursive Program Schemes: Semantics and Proof Theory. Math. Centrum, 1976.
Warning: These citations may not always be 100% accurate.