APA (7th ed.) Citation

Jefferson, D. R. (1980). Type reduction and program verification.

Chicago Style (17th ed.) Citation

Jefferson, David R. Type Reduction and Program Verification. Pittsburgh, Pa, 1980.

MLA (9th ed.) Citation

Jefferson, David R. Type Reduction and Program Verification. 1980.