Miklós Pál (1915-): Digitalized works