Email Record: Analysis and design of sequential digital systems /