Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.
芝加哥风格引文Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
MLA引文Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
警告：这些引文格式不一定是100％准确.