Rényi Péter (1920-2002): Digitalizált művek