Zhang, Chihong and Govindarajan, Ramaswamy and Ryan, Sean and Gao, Guang R (1999) Efficient State-Diagram Construction Methods for Software Pipelining. [Book Chapter]