Verifying Calculations - Forty Years On | Publicación