Libros — theoretical computer science