@workingPaper{BuchmannMüller_1992, title={Primality testing}, author={Buchmann, Johannes and Müller, Volker}, doi={http://dx.doi.org/10.22028/D291-26126}, year={1992} }