Erdős Imre Pál (1916-1987): Digitalized works