A Notation for Describing Multiple Views of VLSI Circuits. - Jean-Loup Baer; Meei-Chiueh Liem; Larry McMurchie; Rudolf Nottrott; Lawrence Snyder 001; Wayne Winder (DAC, 1988)