APA (7th ed.) Citation

Vuillemin, J. E. (1974). Proof techniques for recursive programs.

Chicago Style (17th ed.) Citation

Vuillemin, Jean Etienne. Proof Techniques for Recursive Programs. 1974.

MLA (9th ed.) Citation

Vuillemin, Jean Etienne. Proof Techniques for Recursive Programs. 1974.

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