1. L^ 3;Ahmed Amal;A Linear Language with Locations. Fundam. Informaticae,2007
2. Roberto M. Amadio , Nicholas Ayache , François Bobot , Jaap Boender , Brian Campbell , Ilias Garnier , Antoine Madet , James McKinna , Dominic P. Mulligan , Mauro Piccolo , Randy Pollack , Yann Régis-Gianas , Claudio Sacerdoti Coen , Ian Stark , and Paolo Tranquilli . 2013 . Certified Complexity (CerCo) . In Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013 , Bertinoro, Italy , August 29-31, 2013, Revised Selected Papers. 1–18. https://doi.org/10.1007/978-3-319-12466-7_1 10.1007/978-3-319-12466-7_1 10.1007/978-3-319-12466-7_1 Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, and Paolo Tranquilli. 2013. Certified Complexity (CerCo). In Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. 1–18. https://doi.org/10.1007/978-3-319-12466-7_1 10.1007/978-3-319-12466-7_1
3. Android Open Source . 2022. Android 13 Release Notes. https://source.android.com/docs/setup/about/android-13-release [Online ; accessed 11- November - 2022 ] Android Open Source. 2022. Android 13 Release Notes. https://source.android.com/docs/setup/about/android-13-release [Online; accessed 11-November-2022]
4. Andrew W. Appel Robert Dockins Aquinas Hobor Lennart Beringer Josiah Dodds Gordon Stewart Sandrine Blazy and Xavier Leroy. 2014. Program Logics for Certified Compilers. CUP. https://doi.org/10.1017/CBO9781107256552 10.1017/CBO9781107256552 10.1017/CBO9781107256552
5. Andrew W. Appel Robert Dockins Aquinas Hobor Lennart Beringer Josiah Dodds Gordon Stewart Sandrine Blazy and Xavier Leroy. 2014. Program Logics for Certified Compilers. CUP. https://doi.org/10.1017/CBO9781107256552 10.1017/CBO9781107256552