Specifying a Switch System Using IC. - S. Aggarwal; P. Obenour (INFOCOM, 1990)