@Manual{monamanual2001,
  author =       {Nils Klarlund and Anders M{\o}ller},
  title =        {{MONA Version 1.4 User Manual}},
  organization = {BRICS, Department of Computer Science, University of Aarhus},
  month =        {January},
  year =         {2001},
  note =         {Notes Series NS-01-1.
                  Available from \texttt{\small http://www.brics.dk/mona/}}
}