Semantic programming - Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.