Enabling compiler transformations for pSather - Philippsen, Michael (1995)
UnivIS-Import:2016-06-27:Pub.1995.tech.IMMD.IMMD2.enabli