%0 Journal Article
%A S. P. Kovalyov
%T Category-theoretic approach to software systems design
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2014
%P 111-170
%V 19
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2014_19_3_a4/
%G ru
%F FPM_2014_19_3_a4