For citations:

Shelekhov V. Certified compiler design of predicate programs. The Herald of the Siberian State University of Telecommunications and Information Science. 2019;(3):89-95. (In Russ.)