A case for data-driven testing. - Tony Greening; Glenn Stevens; David Stratton (ITiCSE, 2000)

Critical slope p-adic L-functions. - Robert Pollack; Glenn Stevens (J. Lond. Math. Soc., 2013)