On design and implementation of algorithms. - Julia V. Kapitonova (Algorithms in Modern Mathematics and Computer Science, 1979)

On Model of Macroconveyor Computations. - Vladimir S. Mikhalevich; Julia V. Kapitonova; Alexander A. Letichevsky (IFIP Congress, 1986)

Algebraic Programming in the APS System. - Alexander A. Letichevsky; Julia V. Kapitonova (ISSAC, 1990)

Algebraic Programs Optimization. - Alexander A. Letichevsky; Julia V. Kapitonova; S. V. Konozenko (ISSAC, 1991)

Computations in APS. - Alexander A. Letichevsky; Julia V. Kapitonova; S. V. Konozenko (Theor. Comput. Sci., 1993)

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)