Thomas Gries, Dieter Veit,
Franz Fourné,
Edited by: Jan Thiel, Thomas Gries,
James L. White, David D. Choi,