1. Alvir, R., Knight, J.F., McCoy, C.F.D.: Complexity of Scott Sentences. Preprint
2. Graduate Texts in Mathematics;Andreas Bjorner,2005
3. Calvert, W., Harizanov, V.S., Knight, J.F., Miller, S.: Index Sets of Computable Models. Algebra Logika 45(05), 538-574, 631-632, (2006)
4. Carson, J., Harizanov, V., Knight, J.F., Lange, K., McCoy, C., Morozov, A., Quinn, S., Safranski, C., Wallbaum, J.: Describing Free Groups. Trans. of the Amer. Math. Soc. 364, 5715–5728 (2012)
5. London Mathematical Society Monographs Series;MM Davis,2008