Machine generated authority record.
Work cat.: (OSt)22019: Schaefer M 2146, Mathematical Theory of Globel Program Optimization