میریان حسین آبادی, سیدحسن و جلالی, آرش . (1382). محیطی برای تولید برنامه از توصیف صوری. مجله ی مهندسی مکانیک شریف, 19(25 - ویژه علوم و مهندسی), 42-53.
MLA
میریان حسین آبادی, سیدحسن , و جلالی, آرش . "محیطی برای تولید برنامه از توصیف صوری", مجله ی مهندسی مکانیک شریف, 19, 25 - ویژه علوم و مهندسی, 1382, 42-53.
HARVARD
میریان حسین آبادی, سیدحسن, جلالی, آرش. (1382). 'محیطی برای تولید برنامه از توصیف صوری', مجله ی مهندسی مکانیک شریف, 19(25 - ویژه علوم و مهندسی), pp. 42-53.
CHICAGO
سیدحسن میریان حسین آبادی و آرش جلالی, "محیطی برای تولید برنامه از توصیف صوری," مجله ی مهندسی مکانیک شریف, 19 25 - ویژه علوم و مهندسی (1382): 42-53,
VANCOUVER
میریان حسین آبادی, سیدحسن, جلالی, آرش. محیطی برای تولید برنامه از توصیف صوری. مجله ی مهندسی مکانیک شریف, 1382; 19(25 - ویژه علوم و مهندسی): 42-53.