B. Burgstaller: "The WOOP Preprocessor - An Impementation of Discrete Loops in Ada95"; Supervisor: J. Blieberger; Institut für Automation, 1996.