Kolev, N. I. (1987). IVA2 verification.
Chicago-Zitierstil (17. Ausg.)Kolev, Nikolay Ivanov. IVA2 Verification. Karlsruhe, 1987.
MLA-Zitierstil (9. Ausg.)Kolev, Nikolay Ivanov. IVA2 Verification. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.