%0 Journal Article
%A S. A. Abramov
%T The nature of the incompleteness of the Hoare system
%J Doklady Akademii Nauk
%D 1984
%P 777-778
%V 274
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1984_274_4_a0/
%G ru
%F DAN_1984_274_4_a0