TY  - JOUR
AU  - V. Yu. Mikhailov
TI  - Logical system for generation of correct programs for computer-aided instruction
JO  - Issledovaniya po Prikladnoi Matematike i Informatike
PY  - 1984
SP  - 128
EP  - 138
VL  - 10
IS  - 10
UR  - http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/
LA  - ru
ID  - KUIPM_1984_10_10_a14
ER  -