Volker Claus Volker Diekert Holger Petersen 373-383 2008 Taschenbuch der Algorithmen http://dx.doi.org/10.1007/978-3-540-76394-9_37 reference/algo/2008t db/reference/algo/taschenbuch2008.html#ClausDP08