Quantitative Analysis of Computer Systems - Leung, Clement H.C (Wiley, 1988)