Klimov A.V. Derivation of parallel programs of recursive doubling type by supercompilation with neighborhood embedding. Proc. of the Fifth International Valentine Turchin Workshop on Metacomputation, META'16, (June 27 – July 1, 2016), pages 92--104. Ailamazyan University of Pereslavl, 2016.