TY - JOUR AU - A. A. Moskvitin TI - Specification languages for user-oriented problems JO - Sibirskij žurnal industrialʹnoj matematiki PY - 2002 SP - 148 EP - 159 VL - 5 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/ LA - ru ID - SJIM_2002_5_2_a11 ER -