@phdthesis{Hin95Pro,
  title = "Projection-based Strictness Analysis --- Theoretical and Practical Aspects",
  author = "Hinze, Ralf",
  year = "1995",
  month = "nov",
  school = "Universit\"{a}t Bonn",
}