"274","Some interdisciplinary observations about getting the ``right'' specification","","http://deploy-eprints.ecs.soton.ac.uk/274/","Jones, Cliff B.","UNSPECIFIED"," Jones, Cliff B. (2008) Some interdisciplinary observations about getting the ``right'' specification. In: Verified Software: Theories, Tools, Experiments. Lecture Notes in Computer Science (4171). Springer, pp. 64-69. ","","2008"