Bak, Lars, et al. “An Overview of the Mjølner BETA System”. DAIMI Report Series, vol. 20, no. 350, Apr. 1991, doi:10.7146/dpb.v20i350.6580.