Bak, L. (1991) “An Overview of the Mjølner BETA System”, DAIMI Report Series, 20(350). doi: 10.7146/dpb.v20i350.6580.