" Introduction to computer system performance evaluation / " K. Kant ; with contributions by M.M. Srinivasan