Ambuj Tewari Utkarsh Srivastava P. Gupta A Parallel DFA Minimization Algorithm. 34-40 2002 conf/hipc/2002 HiPC http://link.springer.de/link/service/series/0558/bibs/2552/25520034.htm db/conf/hipc/hipc2002.html#TewariSG02