Παραπομπή σε μορφή APA (7η εκδ.)

Стотланд И. А., Васильев А. Г., & Деменкова Т. А. (2012). Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров. 2012.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Стотланд И. А., Васильев А. Г., και Деменкова Т. А. Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров. 2012, 2012.

Παραπομπή σε μορφή MLA (9th εκδ.)

Стотланд И. А., et al. Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров. 2012, 2012.