Email Record: Mathematical structures for software engineering :