PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperEnriching the interactive user experience of open document formatJohn M. Boyer, Charles F. WiechaDocEng 2009
Workshop paperOntologies for specifying and reconciling contexts of web servicesS. Sattanathan, N.C. Narendra, et al.CONTEXT 2005