The design of deadlock- and livelock-free packet switching networks - Toueg, Sam (1979)