میریان حسین آبادی, سیدحسن, و جلالی, آرش. (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.
