Bak, Lars, Claus Nørgaard, Jørgen Lindskov Knudsen, and Ole Lehrmann Madsen. 1991. “An Overview of the Mjølner BETA System”. DAIMI Report Series 20 (350). https://doi.org/10.7146/dpb.v20i350.6580.