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. «Modification of lyapas for operating systems development» // Applied Discrete Mathematics. Supplement 2015. №8 C.129-131
