1. [n. d.]. Amazon ring buffer source code. https://github.com/awslabs/aws-c-common/blob/master/source/ring_buffer.c Accessed Oct-2019. [n. d.]. Amazon ring buffer source code. https://github.com/awslabs/aws-c-common/blob/master/source/ring_buffer.c Accessed Oct-2019.
2. Ownership confinement ensures representation independence for object-oriented programs;Banerjee Anindya;J. ACM,2005
3. Verification of Object-Oriented Programs with Invariants;Barnett Michael;J. Object Technol.,2004
4. Ownership types for safe programming
5. Stephen Brookes . 2004 . A Semantics for Concurrent Separation Logic . In CONCUR 2004 - Concurrency Theory, Philippa Gardner and Nobuko Yoshida (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 16--34. Stephen Brookes. 2004. A Semantics for Concurrent Separation Logic. In CONCUR 2004 - Concurrency Theory, Philippa Gardner and Nobuko Yoshida (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 16--34.