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