Analysis and synthesis of computer systems - Gelenbe, Erol (Academic Press, 1980)