Vajna János (1921-1992): Digitalized works