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