FOUNDATIONS OF COMPUTER SCIENCE