The Theories of Computer Science: Series 6