DASM. A TOOL FOR DECOMPOSITION AND ANALYSIS OF SEQUENTIAL MACHINES - Hou, Yibin (University of Technology, 1987)