Design Techniques for Building Fast Servers by Héctor M. Briceño