Position Paper: The Science of Deep Specification

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2016.0331