Marie-Paule Flé Gérard Roucairol On some syntactic equivalence of program schemas and related transformations. 116-131 1982 conf/programm/1982 Symposium on Programming db/conf/programm/programm1982.html#FleR82