Errata of:
Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo. PROD reference manual. Technical Report B13, Digital Systems Laboratory, Helsinki University of Technology, Espoo, Finland, August 1995.