Paper on compression used in PNG files.