System Design from Provably Correct Constructs: The Beginnings of True Software Engineering by James Martin | ReadsToRead