1. Kulyamin V. V. Metody verifikatsii programmnogo obespecheniya [Software verification methods]. Moscow, Institut sistemnogo programmirovaniya, 2008, 111 p.
2. Semakhin A. M. Metody verifikatsii otsenki kachestva programmnogo obespecheniya [Software quality assessment verification methods]. Kurganskii gosudarstvennyi universitet, Kurgan, 2018. 150 p.
3. IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005.
4. GOST 28806-90 Kachestvo programmnykh sredstv. Terminy i opredeleniya [Quality of software. Terms and Definitions]. Gosudarstvennyy komitet SSSR po vychislitel'noy tekhnike i informatike, 1992.
5. ISO/IEC JTC 1/ SC7 Systems and software engineering - Systems and software Quality Rquirements and Evaluation (SQuaRE) - Guide to SQuaRE - Part 2: Software and systems engineering Geneva, Switzerland: ISO, 2014.