Dirk O. Keck. Erkennung von Wechselwirkungen zwischen Dienstmerkmalen im Intelligenten Netz mit Hilfe formaler Techniken. In Martina Zitterbart, editor, Kommunikation in Verteilten Systemen, GI/ITG-Fachtagung, Braunschweig 19.-21. Februar 1997. Informatik Aktuell, pages 167-181, Springer, 1997.