Projection-based strictness analysis - theoretical and practical aspects

@inproceedings{Hinze1995ProjectionbasedSA,
  title={Projection-based strictness analysis - theoretical and practical aspects},
  author={Ralf Hinze},
  year={1995}
}