APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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