@online{rustlang22,
    title = {Rust Programming Language},
    author = {Rust Team},
    url = {https://rust-lang.org},
    date = {2022-01-25},
    urldate = {2022-01-25},
}

@online{lean22,
    title = {Lean Theorem Prover},
    author = {Leo de Moura and Sebastian Ullrich and Dany Fabian},
    url = {https://leanprover.github.io/},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{z322,
    title = {Z3 Theorem Prover},
    author = {Microsoft},
    url = {https://github.com/Z3Prover},
    date = {2022-01-26},
    urldate = {2022-01-26},

}

@online{liquid22,
    title = {LiquidHaskell},
    author = {UCSD Progsys},
    url = {https://ucsd-progsys.github.io/liquidhaskell-blog/},
    date = {2022-01-26},
    urldate = {2022-01-26},

}

@online{haskell22,
    title = {Haskell},
    author = {Haskell.org},
    url = {https://www.haskell.org/},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{ats22,
    title = {The ATS Programming Language},
    author = {Hongwei Xi},
    url = {http://www.ats-lang.org/},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{clippy22,
    title = {Clippy},
    author = {Clippy Team},
    url = {https://github.com/rust-lang/rust-clippy},
    date = {2022-02-04},
    urldate = {2022-02-04},
}

@online{expand22,
    title = {Cargo Expand},
    author = {David Tolnay},
    url = {https://github.com/dtolnay/cargo-expand
},
    date = {2022-02-04},
    urldate = {2022-02-04},
}

@online{tutisani22,
    title = {Why TDD is Faster than Unit Testing},
    author = {Tengiz Tutisani},
    url = {https://www.tutisani.com/software-architecture/why-tdd-is-faster-than-unit-testing.html},
    urldate = {2202-02-04}
}

@online{rustdoc22,
    title = {The rustdoc book},
    author = {Rust Team},
    url ={https://doc.rust-lang.org/rustdoc/},
    urldate = {2202-02-04}
}

@online{mdbook22,
    title = {mdBook Docmentation},
    author = {Rust Team},
    url ={https://rust-lang.github.io/mdBook/},
    urldate = {2202-02-04}
}

@online{rustbelt22,
    title = {RustBelt},
    author = {Project RustBelt},
    url = {https://plv.mpi-sws.org/rustbelt/},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{emc22,
    title = {European Metrology Cloud},
    author = {Physikalisch-Technische Bundesanstalt},
    url = {metrologycloud.eu},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{refinement22,
    title = {Refinement},
    author = {Brady Dean},
    url = {https://github.com/2bdkid/refinement},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{proptest22,
    title = {Proptest Book},
    author = {Jason Lingle},
    url = {https://altsysrq.github.io/proptest-book/},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@online{rustproof22,
    title = {RustProof},
    author = {Rust-Proof},
    url = {https://github.com/Rust-Proof/rustproof},
    date = {2022-01-26},
    urldate = {2022-01-26},
}

@article{flanagan06,
  author = {Cormac Flanagan and Stephen N. Freund and Aaron Tomb},
  title = {Hybrid Types, Invariants, and Refinments For Imperative Objects},
  journal = {FOOL/WOOD Workshop},
  year = {2006},
  url = {https://users.soe.ucsc.edu/~cormac/papers/fool06.pdf},
  urldate = {2022-01-26}
}

@article{lehmann17,
  author = {Nico Lehmann and Éric Tanter},
  title = {Gradual Refinement Types},
  journal = {POPL’17},
  year = {2017},
  url = {https://pleiad.cl/papers/2017/lehmannTanter-popl2017.pdf},
  urldate = {2022-01-26}
}

@article{thomas19,
    title = {A proactive approach to more secure code},
    organization = {Microsoft Security Response Center},
    author = {Gavin Thomas},
    url = {https://msrc-blog.microsoft.com/2019/07/16/a-proactive-approach-to-more-secure-code/},
    date = {2019-07-16},
    urldate = {2022-01-25},
}

@article{weiss21,
  author = {Aaron Weiss and Olek Gierczak and Daniel Patterson and Amal Ahmed},
  title = {Oxide: The Essence of Rust},
  year = {2021},
  url = {https://arxiv.org/pdf/1903.00982.pdf},
  urldate = {2022-01-26}
}

@article{kan20,
  author = {Shuanglong Kan and Zhe Chen and Davin Saán and Shang-Wei Lin and Yang Liu},
  title = {An Executable Operational Semantics for Rust with the Formaliztion of Ownership and Borrowing},
  year = {2020},
  url = {https://arxiv.org/pdf/1804.07608.pdf},
  urldate = {2022-01-26}
}

@mastersthesis{ullrich16,
  author  = {Sebastian Ullrich},
  title   = {Simple Verification of Rust Programs via Functional Purification},
  school  = {Karlsruhe Institute of Technology},
  year    = {2016},
  url = {https://pp.ipd.kit.edu/uploads/publikationen/ullrich16masterarbeit.pdf},
  urldate = {2022-01-26}
}

@mastersthesis{kooi21,
  author       = {Xiu Hong Kooi},
  title        = {Refinement Types in Real-World Programming},
  school       = {University pf Cambridge},
  year         = 2021,
  url = {https://kooixiuhong.com/static/media/acs-dissertation.e8569509.pdf},
  urldate = {2022-02-07}
}

@article{vekris16,
  author = {Panagiotis Vekris and Bejamin Cosman and Ranjit Jhala},
  title = {Refinement Types for TypeScript},
  year = {2016},
  url = {https://goto.ucsd.edu/~pvekris/docs/pldi16.pdf},
  urldate = {2022-02-07}
}

@article{reed15,
  author = {Eric Reed},
  title = {Patina: A Formalization of the Rust Programming Language},
  year = {2015},
  url = {https://dada.cs.washington.edu/research/tr/2015/03/UW-CSE-15-03-02.pdf},
  urldate = {2022-02-07}
}

@techreport{prusti19,
  author = {V. Astrauskas and P. Müller and F. Poli and A. J. Summers},
  title = {Leveraging Rust Types for Modular Specification and Verification},
  institution = {ETH Zurich},
  year = {2019},
  doi = {10.3929/ethz-b-000311092},
}