"VERIFIER": ОПЫТ ПРИМЕНЕНИЯ // Comput. Tools Educ. St. Petersburg, Russia, 1999. № 3-4.