MONA implementation secrets (2000)

by Nils Klarlund, Anders Møller, Michael I Schwartzbach
Venue:In Proc. 5th International Conference on Implementation and Application of Automata. LNCS