Libros — theory of programming