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.