Modelling of computer and communication systems - Mitrani, Israel (Cambridge computer science texts, 1987)