TY  - JOUR
AU  - S. P. Kovalyov
TI  - Category-theoretic approach to software systems design
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2014
SP  - 111
EP  - 170
VL  - 19
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2014_19_3_a4/
LA  - ru
ID  - FPM_2014_19_3_a4
ER  -