APA (7th ed.) Citation

(2007). An Inductive Theorem on the Correctness of General Recursive Programs.

Chicago Style (17th ed.) Citation

An Inductive Theorem on the Correctness of General Recursive Programs. 2007.

MLA (8th ed.) Citation

An Inductive Theorem on the Correctness of General Recursive Programs. 2007.

Warning: These citations may not always be 100% accurate.