Logic Simulator:Sequential Logic Minimization. JT 1994, 24 (1), 45-59. https://doi.org/10.11113/jt.v24.1086.