@第{zbMATH03560711条，作者={Friedman，Daniel P.和Wise，David S.}，Title={递归程序的输出驱动解释，或编写创建和销毁数据结构}，FJournal={信息处理信件}，Journal＝{Inf.Process.Lett.}，ISSN={0020-0190}，体积={5}，页码={155--160}，年份={1976年}，语言={英语}，DOI={10.1016/0020-0190（76）90010-7}，关键词={68N01,68W30}，zbMATH={3560711}，Zbl={0359.68024}}