Celia M. Schahczenski

• A subrecursive programming language for increased verifiability