Email Record: THEORY AND PRACTICE OF COMPUTATION