Marie-Paule Flé, Gérard Roucairol: On some syntactic equivalence of program schemas and related transformations. Symposium on Programming 1982: 116-131