Email Record: Algebraic Foundations of Systems Specification /