Contact: Wolfgang.Windsteiger@risc.jku.at

Slides pp. 78-79