Bounded theories for polyspace computability - Bianconi, Ricardo; Ferreira, Gilda; Silva, Emmanuel (Portugaliae Mathematica, 2013)