В. КОСТИРКО, А. КОСТЕНКО, і М. ПЛЕША, «ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ», info-tech, вип. 1 (7), с. 36-43, Сер 2023.