The Foundations of Specification

Raymond Turner
2005 Journal of Logic and Computation  
We develop and explore a Core Specification Theory (CST) as a basis for the meta-mathematical investigation of specification and specification languages.
doi:10.1093/logcom/exi052 fatcat:njdbbx3vzrcvnkfhwqrm3fdzbm