Combinatorial pattern matching : 23rd annual symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings - Juha Karkkainen, editor (Springer-Verlag, 2012)