Теория и методика обучения и воспитания (по областям и уровням образования). Диссертация Методика обучения доказательству правильности императивных программ в рамках фундаментальной подготовки учителей информатики в предметной области : диссертация ... кандидата педагогических наук : 13.00.02, Санкт-Петербург, 2003