Encyclopedia of computer science - Hemmendinger, David; Editor (2000)