%0 Journal Article
%A V. Yu. Mikhailov
%T Logical system for generation of correct programs for computer-aided instruction
%J Issledovaniya po Prikladnoi Matematike i Informatike
%D 1984
%P 128-138
%V 10
%N 10
%U http://geodesic.mathdoc.fr/item/KUIPM_1984_10_10_a14/
%G ru
%F KUIPM_1984_10_10_a14