PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperEvolution of multiprotocol label switchingArun Viswanathan, Nancy Feldman, et al.IEEE Communications Magazine
Conference paperA fast fanout optimization algorithm for near-continuous buffer librariesDavid S. KungDAC 1998