Ming-Yang Kao Encyclopedia of Algorithms Springer 2008 978-0-387-30162-4 db/reference/algo/algo2008.html