APA (7th ed.) Citation

Летичевский, А., Мороховец, М., & Песчаненко, В. (2012). Система доказательного программирования. Управляющие системы и машины.

Chicago Style (17th ed.) Citation

Летичевский, А.А, М.К Мороховец, and В.С Песчаненко. "Система доказательного программирования." Управляющие системы и машины 2012.

MLA (8th ed.) Citation

Летичевский, А.А, et al. "Система доказательного программирования." Управляющие системы и машины, 2012.

Warning: These citations may not always be 100% accurate.