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