С. Иванов, “"VERIFIER": ОПЫТ ПРИМЕНЕНИЯ”, CTE, no. 3-4, Dec. 2013.