Algorithms and Data StructuresFaith Ellen, Antonina Kolokolova, Jörg-Rüdiger Sack · First published 2017Open the Tome
Systems of bounded arithmetic from descriptive complexityAntonina Kolokolova · First published 2005Open the Tome
