Richard Genestier, Alain Giorgetti, Guillaume Petiot: Sequential Generation of Structured Arrays and Its Deductive Verification. TAP@STAF 2015: 109-128