- [C# Specification] http://download.microsoft.com/download/0/a/c/0acb3585-3f3f-4169-ad61- efc9f0176788/CSharp.zip
- [Fournet and Abadi] Cédric Fournet and Martin Abadi. Access Control based on Execution History. Proceedings of the 10th Annual Network and Distributed System Security Symposium. February 2003. http://research.microsoft. com/~fournet/papers/access-control-based-on-execution-history-ndss.pdf
- [JDBC] http://java.sun.com/products/jdbc/
- [CDuce] http://www.cduce.org/ [BPEL4WS] ftp://www6.software.ibm.com/software/developer/library/ws-bpel11.pdf
- [XML 1.0] http://www.w3.org/TR/REC-xml
- [Polyphonic C#] Nick Benton, Luca Cardelli and Cedric Fournet. Modern Concurrency Abstractions for C#. In B. Magnusson (Ed.), Proceedings ECOOP 2002. LNCS
- [xsd.exe] http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cptools/html/cpconxmlschemadefinitiontoolxsdexe. asp
- [Java Language Specification] http://java.sun.com/docs/books/jls/second_edition/html/j.title.doc.html
- [Unifying Tables, Objects and Documents] Erik Meijer and Wolfram Schulte. Unifying Tables, Objects and Documents. Proceedings DP-COOL 2003. http://www.research.microsoft.com/~emeijer/Papers/XS.pdf
- [The Meaning of Xen] Erik Meijer, Wolfram Schulte, and Gavin Bierman. The Meaning of Xen. Paper in preparation.
- [XQuery Use Cases] http://www.w3.org/TR/xquery-use-cases/
- [Xtatic] http://www.cis.upenn.edu/~bcpierce/xtatic/
- [The Essence of XML] Jerome Simeon and Philip Wadler. The Essence of XML. Proceedings of POPL 2003, New Orleans, January 2003. http://www.research.avayalabs.com/user/wadler/papers/xml-essence/xml-essence. pdf
- [Pi Calculus] R. Milner. Communicating with Mobile Agents: The pi-Calculus. Cambridge University Press, Cambridge, 1999.
- [ASF/SDF] http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment
- [XMLBeans] http://dev2dev.bea.com/technologies/xmlbeans/index.jsp
- [JAXB] http://java.sun.com/xml/jaxb/
- [Data On The Web] S. Abiteboul, P. Buneman and D. Suciu. Data On The Web. Morgan Kaufmann, 2000.
- [WSCI] http://www.w3.org/TR/wsci/
- [Join Calculus] http://pauillac.inria.fr/join/
- [ADO .Net] http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cpguide/html/cpconoverviewofadonet. asp
- [XPath] http://www.w3.org/TR/xpath
- [Impedance Mismatch] Dave Thomas. The Impedance Imperative Tuples + Objects + Infosets = Too Much Stuff!. JOT, 2003 Vol. 2, No. 5, September-October 2003. http://www.jot.fm/issues/issue_2003_09/column1.pdf