Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013 - Generell datateori - innbundet(9789814612876)