С. Иванов, «"VERIFIER": ОПЫТ ПРИМЕНЕНИЯ», CTE, вып. 3-4, дек. 2013.