1
Compositional minimization of finite state systems.
Book
Graf, S.
1991