1. 1. Abramsky S., Gabbay D. and Maibaum T. (editors). (1993-2000). Handbook of Logic in Computer Science. Oxford University Press.
2. 2. Nikitchenko M. and Shkilniak S. (2008). Mathematical logic and theory of algorithms. Кyiv: VPC Кyivskyi Universytet (in ukr).
3. 3. Nikitchenko M. and Shkilniak S. (2013). Applied logic. Кyiv: VPC Кyivskyi Universytet (in ukr).
4. 4. Nikitchenko M. and Shkilniak S. (2015). Semantic Properties of Logics of Quasiary Predicates. In Workshop on Foundations of Informatics: Proceedings FOI-2015. Chisinau, Moldova. P. 180-197.
5. 5. Shkilniak O. (2016). Logical consequence relations in logics of quasiary predicates. In Problems in Progamming. № 1. P. 29-43 (in ukr).