Theisz János (1922-): Digitalized works