The Theories of Computer Science: Series 5