范·斯塔登（Stephan van Staden） 构建视图框架。 （英语） Zbl 1457.68070号 戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 62-83 (2015).MSC公司：68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.van Staden}，莱克特。票据计算。科学。8963，62-83（2015；Zbl 1457.68070） 全文： 内政部
范·斯塔登（Stephan van Staden） 关于可靠保证推理。 （英语） Zbl 1432.68321号 Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9129, 30-49 (2015).MSC公司：68问题85 68问题55 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。票据计算。科学。9129，30--49（2015；Zbl 1432.68321） 全文： 内政部