- Extensional Constructs in Intensional Type Theory
- Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
- Automated Construction of Xsl-Templates
- A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
- Automatentheorie und Logik