Lukács János (1923-): Digitalized works