@article{1987-pomerance-short
,author={Carl Pomerance}
,ISSN={0025--5718}
,journal={Mathematics of Computation}
,MR={88b:11088}
,pages={315--322}
,title={{Very short primality proofs}}
,volume={48}
,year={1987}
}