@techreport{GrammesGotzhein2006,
  author    = {R{\"u}diger Grammes and Reinhard Gotzhein},
  title     = {SDL Profiles - Definition and Formal Extraction},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {350},
  year      = {2006},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-14656},
}