Encyclopedia of computer science : Introduction to computer science