The Benjamin/Cummings series in computing and information sciences