Bug-Database: https://github.com/cs-au-dk/MONA/issues
Repository: https://github.com/cs-au-dk/MONA
Webservice: https://www.brics.dk/mona/demo.html
Reference:
 - Author: Jesper G. Henriksen, Jakob Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, and Anders Sandholm
 - Title: "Mona: Monadic Second-Order Logic in Practice"
 - Booktitle: First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
 - Editor: Ed Brinksma and	  Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen
 - Year: 1995
 - Publisher: Springer
 - DOI: 10.1007/3-540-60630-0\_5
 