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.

MLA -ийн эшлэл (9 дэх хэвлэлт)

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