Jason Chao-Hsien Pan, Jen-Shiang Chen: Mixed binary integer programming formulations for the reentrant job shop scheduling problem. Comput. Oper. Res. 32: 1197-1212 (2005)