克劳斯·哈维隆德；金·古德斯特兰·拉森 fork演算。 （英语） Zbl 0817.68101号 Nord.J.计算。 1，第3期，346-363（1994）.MSC公司：60年第68季度 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{K.G.Larsen}，Nord.J.Compute。1，第3号，346--363（1994；Zbl 0817.68101）
克劳斯·哈维隆德；Larsen，Kim G。 fork演算。 （英语） Zbl 1418.68142号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。700, 544-557 (1993).MSC公司：68问题85 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{K.G.Larsen}，莱克特。票据计算。科学。700、544--557（1993年；Zbl 1418.68142） 全文： 内政部