Rényi Alfréd (1921-1970): Digitalizált művek