А. М. Давиденко and О. А. Суліма, “Use of formal facilities of description of processes of grant of rights access”, Zahist ìnf., vol. 18, no. 2, pp. 143–149, May 2016.