Chihong Zhang Ramaswamy Govindarajan Sean Ryan Guang R. Gao Efficient State-Diagram Construction Methods for Software Pipelining. 153-167 1999 conf/cc/1999 CC db/conf/cc/cc99.html#ZhangGRG99 http://dx.doi.org/10.1007/b72146