В. Куклін, «Від математичної логіки до мов програмування штучного інтелекту», CS&CS E-journal, вип. 1, с. 40-52, Квіт 2017.