Theory and applications of models of computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings (Springer, 2008)