Email Record: Mathematical structures in computer science.