1. Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (Editors): Theory and Practice of Formal Methods Springer International Publishing, Cham, Switzerland, (Lecture Notes in Computer Science, Volume 9660), 2016. ISBN 978-3-319-30733-6
2. Jean-Raymond Abrial: The B-Book - Assigning Programs to Meanings.Cambridge University Press, Cambridge, UK, 2005. ISBN 978-0-521-02175-3
3. Jean-Raymond Abrial: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge, UK, 2010. ISBN 978-0-521-89556-9
4. Various authors: Learning Ada (Release 2022-05). AdaCore Inc., New York, NY, USA, New version 2022. Downloadable from: https://learn.adacore.com/pdf_books/learning-ada.pdf [Last accessed: 8.6.2022]
5. Pranay Ahlawat, Johannes Boyne, Dominik Herz, Florian Schmieg, Michael Stephan: Why You Need an Open Source Software Strategy BCG (Boston Consulting Group), Boston, MA, USA, April 16, 2021. Accessible at: https://www.bcg.com/publications/2021/open-source-software-strategy-benefits [Last accessed: 22.6.2021]