An up-to-date addendum to:
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.