Publications by authors named "Daan Lenstra"