An experimental command and control information system based on Enterprise Java bean technology
(2002)
E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
(1995)