Ask HN: Books and literature on the scientific side of Software Enginnering?

I'm aware of the eternal debate on whether software engineering is "real" engineering, and the purpose of the question was not to fan those flames...

After seeing some posts here on HN on the more scientific side of Software Engineering (e.g. https://news.ycombinator.com/item?id=26630385) I wanted to learn a bit more about this side of it.

In summary, not qualitative "process" studies (e.g. anedoctal evidence on why Agile is good) or theoretical Computer Science, but more quantitative analysis and formally proven processes, if that makes sense.