%0 Journal Article
%A M. S. Ushakova
%A A. I. Legalov
%T Verification of programs with mutual recursion in the Pifagor language
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 358-381
%V 25
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_4_a1/
%G ru
%F MAIS_2018_25_4_a1