Petrik József (1930-1995): Digitalized works