蒙克·范·维尔登堡 自动化隔音。 （英语） Zbl 1339.68160号 Hennessy，Matthew（ed.）等人，《结构操作语义第五次研讨会论文集》（SOS 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第4期，107-118（2009）。MSC公司：68问题55 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.van Weerdenburg}，电子。注释Theor。计算。科学。229，第4号，107--118（2009；Zbl 1339.68160） 全文： 内政部
蒙克·范·维尔登堡 实现应用项重写的说明。 （英语） Zbl 1277.68109号 Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，139-155（2007）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.van Weerdenburg}，电子。注释Theor。计算。科学。174，第10号，139--155（2007；Zbl 1277.68109） 全文： 内政部