Email Record: Constructive methods in computing science :