COMPUTER SCIENCE THEORY