Libros — contract programming