Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, Camurati, P., & Eveking, H. (1995). Correct hardware design and verification methods: IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, Paolo Camurati, و Hans Eveking. Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings. Berlin: Springer, 1995.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, et al. Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings. Springer, 1995.