PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperSpecifying Queries as Relational Expressions: The SQUARE Data SublanguageRaymond F. Boyce, Donald D. Chamberlin, et al.CACM
Conference paperFailure diagnosis with incomplete information in cable networksYun Mao, Hani Jamjoom, et al.CoNEXT 2006