@article{KUIPM_1984_10_10_a14,
     author = {V. Yu. Mikhailov},
     title = {Logical system for generation of correct programs for computer-aided instruction},
     journal = {Issledovaniya po Prikladnoi Matematike i Informatike},
     pages = {128--138},
     year = {1984},
     volume = {10},
     number = {10},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/}
}