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
Stefantsov D. A., Grechnev S. Yu., Safonov V. O., Tomskikh P. A., Pershin V. V. «Modular translator from lyapas» // Applied Discrete Mathematics. Supplement 2016. №9 C.122-125
Grechnev S. Yu., Stefantsov D.A. «Modification of lyapas for operating systems development» // Applied Discrete Mathematics. Supplement 2015. №8 C.129-131
Tomskih P. A., Stefantsov D.A. «The development of an operating system in LYaPAS» // Applied Discrete Mathematics. Supplement 2015. №8 C.134-135
