@misc{KirThe13,
 author={Franz Kiraly and Louis Theran},
 title={AlCoCoMa},
 year={2013},
 note={\url{http://mloss-static.ml.tu-berlin.de/software/view/524/}}
}