Bounded theories for polyspace computability - Bianconi, Ricardo (2013)