@Article{monasecrets2002,
  author =       {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
  title =        {{MONA} Implementation Secrets},
  journal =      {International Journal of Foundations of Computer Science},
  year =         {2002},
  volume =       {13},
  number =       {4},
  pages =        {571--586},
  note =         {World Scientific Publishing Company.
                  Earlier version in Proc. 5th International Conference 
                  on Implementation and Application of Automata, CIAA~'00, 
                  Springer-Verlag LNCS vol.\ 2088},
}