S. Michiels, Dept. of Comput. Sci., Katholieke Univ. Leuven, Leuven, Belgium
C. Huygens, Dept. of Comput. Sci., Katholieke Univ. Leuven, Leuven, Belgium
J. Maerien, Dept. of Comput. Sci., Katholieke Univ. Leuven, Leuven, Belgium
W. Joosen, Dept. of Comput. Sci., Katholieke Univ. Leuven, Leuven, Belgium
pp. 43-48