Some classic old textbooks are about that size but they are very dense. A Discipline aof Programming comes to mind. It's about deriving imperative code from the

Some classic old textbooks are about that size but they are very dense. A Discipline aof Programming comes to mind. It's about deriving imperative code from the weakest precondition you need to give to the next statement and about proving programs correct with a big emphasis on loop termination.