Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2016 - Matematisk datateori - innbundet(9789813234062)