Raymond Turner The Foundations of Specification. 623-662 2005 15 J. Log. Comput. 5 http://dx.doi.org/10.1093/logcom/exi052 db/journals/logcom/logcom15.html#Turner05a