Modeling of computer and communication system - Mitrani T (Cambridge CUP, 1987)