Formirovanie KATEKa: opyt razrabotki i modelirovanija programmy - Šemetov, Petr Vasil'evič; Popov, Vitalij Erastovič (Nauka, Sibirskoe otdelenie, 1986)