Romina, Anya Programming Logics, MPI for Informatics, Max Planck Society;
Goncharov, S., Harizanov, V., Knight, J. F., Morozov, A., & Romina, A. (2005). On automorphic tuples of elements in computable models. Siberian Mathematical Journal, 46, 405-412.