SIGAda, SIGAPP, Association for Computing Machinery. Special Interest Group on Embedded Systems, Association for Computing Machinery. Special Interest Group on Computers and Society, Association for Computing Machinery. Special Interest Group on Computer Science Education, ACM Special Interest Group on Programming Languages, & Ada-Europe International Conference on Reliable Software Technologies. (2012). HILT '12: Proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts. ACM.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)SIGAda, SIGAPP, Association for Computing Machinery. Special Interest Group on Embedded Systems, Association for Computing Machinery. Special Interest Group on Computers and Society, Association for Computing Machinery. Special Interest Group on Computer Science Education, ACM Special Interest Group on Programming Languages, و Ada-Europe International Conference on Reliable Software Technologies. HILT '12: Proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts. New York: ACM, 2012.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)SIGAda, et al. HILT '12: Proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts. ACM, 2012.