Livres — theory of programming