Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer.
https://doi.org/10.1007/BFb0028773