Tools for Solving Problems in the Scope of Algebraic Programming. - Y. V. Kapitonova; Alexander A. Letichevsky; Vladislav A. Volkov; M. S. Lvov (AISMC, 1994)

The development of interactive algorithms for the Mathematical Environment. - Alexander A. Letichevsky; Julia V. Kapitonova; Vladislav A. Volkov; A. Chugayenko; Victor Khomenko; David R. Gilbert (Calculemus, 1999)

Requirement Capturing and 3CR Approac. - Sergey Baranov; Vsevolod Kotlyarov; Julia V. Kapitonova; Alexander A. Letichevsky; Vladislav A. Volkov (COMPSAC, 2002)

Semantics of Message Sequence Charts. - Alexander A. Letichevsky; Julia V. Kapitonova; Vsevolod Kotlyarov; Vladislav A. Volkov; A. A. Letichevsky Jr.; Thomas Weigert (SDL Forum, 2005)

Basic protocols, message sequence charts, and the verification of requirements specifications. - Alexander A. Letichevsky; Julia V. Kapitonova; A. A. Letichevsky Jr.; Vladislav A. Volkov; Sergey Baranov; Thomas Weigert (Comput. Networks, 2005)

System Validation. - Alexander A. Letichevsky; Julia V. Kapitonova; Thomas Weigert; Vladislav A. Volkov (Embedded Systems Handbook, 2005)

Formal Requirements Capturing using VRS system. - Alexander A. Letichevsky; Alexander Kolchin; Oleksandr Letychevskyy Jr.; Stepan Potiyenko; Vladislav A. Volkov; Thomas Weigert (WING@ETAPS/IJCAR, 2010)