Specifying Software: A Hands-On Introduction cover
Specifying Software: A Hands-On Introduction
by R. D. Tennent
ISBN: 0521808146
Buy on Amazon
Found in 1 comment on Hacker News
rramadass · 2019-11-13 · Original thread
Two books (get used copies for cheap);

* Foundations of Computer Science - http://infolab.stanford.edu/~ullman/focs.html

* Specifying Software: A Hands-On Introduction - https://www.amazon.com/Specifying-Software-Hands-Introductio... The name is a misnomer. See the ToC. This is actually a practical introduction to CS theory.