@Article{Ahrens1990,
  author    = {Klaus Ahrens and Joachim Fischer and Eckhardt Holz and Ina Kathrin Schieferdecker},
  title     = {Eine SDL-Maschine f{\"u}r Entwurf und Analyse von Spezifikationen verteilter Systeme},
  doi       = {10.1524/itit.1990.32.6.400},
  pages     = {400--409},
  volume    = {32, no. 6},
  journal   = {it - Informationstechnik},
  publisher = {Walter de Gruyter {GmbH}},
  type      = {article},
  year      = {1990}
}