of the paper by L.J. Karpman "Program Optimization on the Near-to-input Language Level"

of the paper by V.A. Ananyin "Some formation and transformation rules for computational algorithms"

of the paper by B.M. Kimelfeld "On Swapping Optimization in Two-level Storage"