Factorisation of finite state machines under strong and observational equivalences
scientific article; zbMATH DE number 13469