Quantitative analysis of computer systems - Leung, Clement H. C. (Wiley, 1988)