Huajun Qin Philip Lewis Factorisation of Finite State Machines under Strong and Observational Equivalences. 284-307 1991 3 Formal Asp. Comput. 3 db/journals/fac/fac3.html#QinL91