Formal derivation and extraction of a parallel program for the all nearest smaller values problem. - Loulergue, Frédéric; Robillard, Simon; Tesson, Julien; Legaux, Joeffrey; Hu, Zhenjiang (2014)