@incollection{Hin98Str,
  title = "Projektionsbasierte {S}triktheitsanalyse",
  author = "Hinze, Ralf",
  year = "1998",
  address = "Stuttgart",
  booktitle = "Ausgezeichnete Informatikdissertationen 1996",
  isbn = "3-519-02646-5",
  pages = "46-61",
  publisher = "B.G.~Teubner",
}