توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Kamkin, A., Kotsynyak, A., Smolov, S., Tatarnikov, A., Chupilko, M., & Sortov, A. (2018). Tools for Functional Verification of Microprocessors. Ivannikov Institute for System Programming of the Russian Academy of Sciences.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Kamkin, A., A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, و A. Sortov. Tools for Functional Verification of Microprocessors. Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Kamkin, A., et al. Tools for Functional Verification of Microprocessors. Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.