Melham, T. (1994). Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag.
Chicago-viite (17. p.)Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
MLA-viite (9. p.)Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.