(2007). An Inductive Theorem on the Correctness of General Recursive Programs.
Chicago Style (17th ed.) CitationAn Inductive Theorem on the Correctness of General Recursive Programs. 2007.
MLA (8th ed.) CitationAn Inductive Theorem on the Correctness of General Recursive Programs. 2007.
Warning: These citations may not always be 100% accurate.