1. Nepomnyashchiy, V.A. and Ryakin, O.M., Prikladnye metody verifikatsii program (Applied Methods for Programs Verification), Moscow: Radio i Svyaz, 1988.
2. Boyer, R.S. and Moore, J.S., A Computational Logic, New York: Academic Press, 1979.
3. Vazou, N., Seidel, E.L., Jhala, R., Vytiniotis, D., and Peyton-Jones, S., Refinement types for Haskell, SIGPLAN Not., 2014, vol. 49, no. 9, pp. 269–282.
4. Giesl, J., Termination of nested and mutually recursive algorithms, J. Autom. Reasoning, 1997, vol. 19, no. 1, pp. 1–29.
5. Legalov, A.I., The functional programming language for creating architecture-independent parallel programs, Comput. Technol., 2005, vol. 1, no. 10, pp. 71–89.