A General Approach to Tranquility in Information Flow Analysis

@inproceedings{Hartman1988AGA,
  title={A General Approach to Tranquility in Information Flow Analysis},
  author={Bret Hartman},
  booktitle={CSFW},
  year={1988}
}