shrug, the reference books for all those things are the standard resources. i think they've shown up on hacker news a couple times each.

if i were aware of any material on formalizing solidity or the EVM, honestly i'd keep it to myself and use it to identity vulnerabilities in your contracts. in that hypothetical world, my question was a means to check and see if you were a good target.

good luck. :)