Livros — theory of programming