@第{zbMATH01103544条，作者={O'Hearn，P.W.和Tennent，R.D.}，标题={参数和局部变量}，FJournal={计算机协会杂志}，期刊={J.Assoc.Comput.Mach.}，ISSN＝{0004-5411}，体积={42}，数字={3}，页码={658--709}，年份={1995}，语言={英语}，DOI={10.1145/210346.20425}，关键词={68N15}，URL={surface.syr.edu/cgi/viewcontent.cgi？article=1001&context=lcsmith_other}，zbMATH={1103544}，Zbl=｛0885.68039｝}