1. Lecture Notes in Computer Science;S. Berger,2005
2. Berger, S., Coquery, E., Drabent, W., Wilk, A.: Descriptive typing rules for Xcerpt and their soundness. Technical Report REWERSE-TR-2005-01, REWERSE (2005), http://rewerse.net/publications/#REWERSE-TR-2005-01
3. Berger, S., Coquery, E., Drabent, W., Wilk, A.: Errata to Descriptive typing rules for Xcerpt (2006), http://www.ida.liu.se/~wlodr/errata.LNCS3703.pdf
4. Cirstea, H., Coquery, E., Drabent, W., Fages, F., Kirchner, C., Liquori, L., Wack, B., Wilk, A.: Types for REWERSE reasoning and query languages. Deliverable I3-D4, REWERSE (2005), http://rewerse.net/publications/#REWERSE-DEL-2005-I3-D4
5. Nielson, H.R., Nielson, F.: Semantics with Applications. John Wiley and Sons, Chichester (1992), http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html