Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.
Lua i Stíl Chicago (17ú heag.)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
Lua MLA (9ú heag.)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.