Gyenes István (1915-1984): Digitalized works