Bin Li, Zhenhao Tang, Jianhua Zhao: Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. Internetware 2015: 195-198