Theoretical Aspects of Computing â€" ICTAC 2013 - Liu (Springer Berlin Heidelberg, 2013)