Today I would like mention a book written from an University classmate, I hope that it would be helpful, this mention, for him all are insterested about this topic.
on Amazon book purchase possibility and more details about it
https://www.amazon.it/Non-Deterministic-Software-Engineering-Reliable-Assistants-ebook/dp/B0G7LPR4KB
