Second order arithmetic and autonomous computability. Gajlit, E. V. (2003) Sibirskij Matematicheskij Zhurnal
Second order arithmetic and pulsating hierarchies. Gajlit, E.V. (2002) Sibirskij Matematicheskij Zhurnal
Some remarks on bicommutability M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978) Fundamenta Mathematicae