Wang, et al.. Divide and Compose: SCC Refinement for Language Emptiness. Springer Berlin Heidelberg, 2001, doi:10.1007/3-540-44685-0_31.