Peterdi Pál (1925-2000): Digitalized works