Shilov, N., & Shilova, S. (2010). Solving contest problems via formal program verification. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Shilov, N.V, та S.O Shilova. Solving Contest Problems via Formal Program Verification. Інститут програмних систем НАН України, 2010.
Стиль цитування MLA (8-ме видання)Shilov, N.V, та S.O Shilova. Solving Contest Problems via Formal Program Verification. Інститут програмних систем НАН України, 2010.
Попередження: стилі цитування не завжди правильні на всі 100%.