Calculating Parallel Programs in Coq Using List Homomorphisms. - Loulergue, Frédéric; Bousdira, Wadoud; Tesson, Julien (International Journal of Parallel Programming, 2017)