Bálint Pál (1930-): Digitalized works