Compositional minimization of finite state processes (1990)

by S Graf, B Steffen