Promsky, A. (2008). C# program verification problems: Solution by a three-level method. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Promsky, A.V. C# Program Verification Problems: Solution by a Three-level Method. Інститут програмних систем НАН України, 2008.
MLA-Zitierstil (8. Ausg.)Promsky, A.V. C# Program Verification Problems: Solution by a Three-level Method. Інститут програмних систем НАН України, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.