Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. - Peter Langendörfer; Thomas Krüger; Sven Twarok (FBT, 1998)

Automated Derivation of ILP Implementations from SDL Specifications. - Sven Twarok; Peter Langendörfer; Hartmut König (FORTE, 2001)