APA (7e ed.) Bronvermelding

Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.

Chicago (17e ed.) Bronvermelding

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

MLA (9e ed.) Bronvermelding

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

Let op: Deze citaties zijn niet altijd 100% accuraat.