亨利克·尼尔森 使用广义代数数据类型的函数反应式规划的动态优化。 （英语） Zbl 1302.68189号 第十届ACM SIGPLAN功能编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26日至28日。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，54-65（2005）。MSC公司：68问题65 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Nilsson}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。54-65（2005；Zbl 1302.68189） 全文： 内政部
科恩·克莱森 并行分析过程。 （英语） Zbl 1063.68029号 J.功能。程序。 14，第6期，741-757（2004）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}，J.Funct.（文本{K.克莱森}，J·芬克）。程序。14，第6号，741--757（2004；Zbl 1063.68029） 全文： 内政部