Libros — program transformation