• 艾哈迈德·A，附录A，理查兹C，斯瓦迪语K，Tan G（切线G）和王D. (2010). 类型化汇编语言的语义基础.程序设计语言与系统学报.32:3.(1-67).在线发布日期：2010年3月1日.

    https://doi.org/10.1145/1709093.1709094

  • 斯特夫林K和拉森S. 关于顺序控制和状态的完整的共归纳句法理论语义和代数规范。(329-375).

    /doi/10.5555/1809296.1809313

  • 斯特夫林K和拉森S. 关于顺序控制和状态的完整的共归纳句法理论第34届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(161-172).

    https://doi.org/10.1145/1190216.1190244

  • 斯特夫林K和拉森S. (2007). 关于顺序控制和状态的完整的共归纳句法理论.ACM SIGPLAN通知.42:1.(161-172).在线发布日期：2007年1月17日.

    https://doi.org/10.1145/1190215.1190244

  • 库塔瓦斯五世和棒M. (2006). 用于高阶命令式程序推理的小互模拟.ACM SIGPLAN通知.41:1.(141-152).在线发布日期：2006年1月12日.

    https://doi.org/10.11145/1111320.111050

  • 库塔瓦斯五世和棒M. 用于高阶命令式程序推理的小互模拟第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(141-152).

    https://doi.org/10.1145/111137.11111050

  • 棒M和熟料W. (2000). 优化高阶编程语言中的内存使用.ACM SIGSOFT软件工程说明.25:1.(92).在线发布日期：2000年1月1日.

    https://doi.org/10.1145/340855.341042