@book{barnes2003,
  title={High Integrity Software: The SPARK Approach to Safety and Security},
  author={John Barnes},
  year={2003},
  url={https://www.adaic.org/resources/add_content/docs/spark/sampler_final.pdf},
  publisher={Addison-Wesley Longman Publishing Co., Inc.}

}

@article{Myers1999,
  title={JFlow: Practical Mostly-Static Information Flow Control},
  author={Andrew C. Myers},
  year={1999},
  url={https://www.cs.cornell.edu/andru/papers/popl99/popl99.pdf},
  journal={Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL ’99), San Antonio, Texas, USA}
}
