- 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
- Corporate Governance-Strukturen von Special Purpose Acquisition Companies (SPACs) aus ökonomischer Perspektive
- Corporate Social Responsibility in Australien: Eine empirische Analyse der 100 gr��ten b�rsennotierten Aktiengesellschaften