@techreport{MalikMayer2017,
  author    = {Robi Malik and Otto Mayer},
  title     = {Eine Fixpunkt-Semantik f{\"u}r temporal stratifizierte Programme},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {261},
  pages     = {40},
  year      = {2017},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-49885},
}