Limits to parallel computation P-completeness theory - Greenlaw, Raymond (Oxford University Press, 1995)