Bak, L., C. Nørgaard, J. L. Knudsen, and O. L. Madsen. “An Overview of the Mjølner BETA System”. DAIMI Report Series, vol. 20, no. 350, Apr. 1991, doi:10.7146/dpb.v20i350.6580.