Reference

2015
In Defense of Soundiness: A Manifesto
Communications of the ACM (CACM) Commun. ACM

Abstract