Robert Seater David Wonnacott Polynomial Time Array Dataflow Analysis. 411-426 2001 conf/lcpc/2001 LCPC http://link.springer.de/link/service/series/0558/bibs/2624/26240411.htm db/conf/lcpc/lcpc2001.html#SeaterW01