Name
Hendrik A. Goosen, Peter Hinz, and Dieter W. Polzin
Email
{goosen,peter,dieter}@cs.uct.ac.za