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