Devyanin Peter N. «Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems» // 2011. №1(11) C.78-95
Safonov V. O., Tomskikh P. A., Pershin V. V., Stefantsov D. A., Grechnev S. Yu. «Modular translator from lyapas» // Applied Discrete Mathematics. Supplement 2016. №9 C.122-125
Stefantsov D.A., Grechnev S. Yu. «Modification of lyapas for operating systems development» // Applied Discrete Mathematics. Supplement 2015. №8 C.129-131
Stefantsov D.A., Tomskih P. A. «The development of an operating system in LYaPAS» // Applied Discrete Mathematics. Supplement 2015. №8 C.134-135