A stable programming language - Paolini, Luca (Information & Computation, 2006)