Henriksen, Jesper G., Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders B. Sandholm. 1995. “MONA: Monadic Second-Order Logic in Practice”. BRICS Report Series 2 (21). https://doi.org/10.7146/brics.v2i21.19923.