Polynomial space computable arithmetic - Queiroz, Ruy José Guerra Barretto de (2009)