M. S. Chushkin, V. I. Shelekhov, “Methods for synthesizing predicate program pieces”, Prikl. Diskr. Mat. Suppl., 2016, no. 9, 126–128
2010
2.
V. I. Shelekhov, “Verification and synthesis of addition programs under the rules of statement correctness”, Model. Anal. Inform. Sist., 17:4 (2010), 101–110