APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.