Jens Bleiholder Felix Naumann 2008 41 ACM Comput. Surv. 1 http://doi.acm.org/10.1145/1456650.1456651 db/journals/csur/csur41.html#BleiholderN08