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