APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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