@misc{Hol08,
 author={Georg Holzmann},
 title={aureservoir},
 year={2008},
 note={\url{http://mloss.org/software/view/138/}}
}