Computational complexity : CC (Springer International Publishing AG, 1991)