Semenov A., Soprunov S., and Uspensky V. The Lattice of Definability. Origins, Recent Developments, and Further Directions // Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia. CSR 2014, Moscow, Russia, June 7 – 11, 2014. Proceedings. Lecture Notes in Computer Science. Springer. 2014. V. 8476. – P. 23 – 38.