The Addison-Wesley series in computer science