Email Record: Algebraic foundations of systems specification /