Verified compilers and soap powder advertising (2013)shape-of-code.coding-guidelines.com1 pointadgasf9 years ago