Gál János (1914-): Digitalized works