Edited by: Thomas Gries, Lukasz Debicki, Christian Schindler, Stefan Schlichter,
Thomas Gries, Dieter Veit,
Edward D. Weil, Sergei V. Levchik,
Edited by: Jan Thiel, Thomas Gries,