Gagan Hasteer Prithviraj Banerjee A Parallel Algorithm for State Assignment of Finite State Machines. 37-45 1996 ICPP, Vol. 2 db/conf/icpp/icpp96-2.html#HasteerB96