The Theories of Computer Science: Series 2