Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm. Dansk Datamatik Center. In John Impagliazzo, Per Lundin, Benkt Wangler, editors, History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers. Volume 350 of IFIP Advances in Information and Communication Technology, pages 350-359, Springer, 2010. [doi]
Abstract is missing.