@MastersThesis{arnestad03msc,
  author =	 {Marte Arnestad},
  title =	 {En abstrakt maskin for {Creol} i {Maude}},
  school =	 {Department of Informatics, University of Oslo},
  month =	 nov,
  year =	 2003,
  note =	 {In {N}orwegian. Available from \url{http://heim.ifi.uio.no/~creol}}
}