2020_Book_FoundationsOfSoftwareScienceAn.pdf (Springer Nature, 2020)