(1)
Иванов, С. "VERIFIER": ОПЫТ ПРИМЕНЕНИЯ. CTE 2013.