Libros — digital computer theory