- Prev Chronic Dis (January 2006)
- ACM Letters on Programming Languages and Systems 2(1-4):70--84 (March 1993)
- Science of Computer Programming 35(1):3--27 (1999)
- Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik, Saarbrücken, Germany, Doctoral dissertation, (2000)


user