{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T20:30:03Z","timestamp":1769718603634,"version":"3.49.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1982,12,1]],"date-time":"1982-12-01T00:00:00Z","timestamp":407548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1982,12]]},"DOI":"10.1007\/bf01934408","type":"journal-article","created":{"date-parts":[[2005,7,30]],"date-time":"2005-07-30T20:02:08Z","timestamp":1122753728000},"page":"437-453","source":"Crossref","is-referenced-by-count":37,"title":["Formalization in program development"],"prefix":"10.1007","volume":"22","author":[{"given":"Peter","family":"Naur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01934408_CR1","volume-title":"The design and analysis of computer algorithms","author":"A. V. Aho","year":"1974","unstructured":"A. V. Aho, J. E. Hopcroft and J. D. Ullman,The design and analysis of computer algorithms. Addison-Wesley, Reading, Mass., 1974."},{"key":"BF01934408_CR2","unstructured":"J. W. Backus,The syntax and semantics of the proposed international algebraic language of the Z\u00fcrich ACM-GAMM conference, Proc. International Conf. on Information Processing, UNESCO, 1959, pp. 125\u2013132."},{"key":"BF01934408_CR3","doi-asserted-by":"crossref","unstructured":"J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (ed.), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden and M. Woodger,Revised report on the algorithmic language ALGOL 60, Comm. ACM 6, 1 (1963, January), 1\u201317; Computer Journal 5, 349\u2013367; Num. Math. 2, 106\u2013136.","DOI":"10.1145\/366193.366201"},{"key":"BF01934408_CR4","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1093\/comjnl\/19.3.276","volume":"19","author":"R. M. Morgan de","year":"1976","unstructured":"R. M. de Morgan, I. D. Hill and B. A. Wichman,Modified report on the algorithmic language ALGOL 60, Computer Journal 19 (1976), 364\u2013379.","journal-title":"Computer Journal"},{"key":"BF01934408_CR5","unstructured":"C. F. Gauss,Theorematis arithmetici \u2014 demonstratio nova, Commentationes Societatis Regi\u00e6 Scientiarum Gottingensis, Vol. 16, G\u00f6ttingen, 1808;Werke, 1876, Bd. 2, pp. 1\u20138;English translation in D. E. Smith, A Source Book in Mathematics, Vol. 1, Dover, New York, 1959, pp. 112\u2013118."},{"key":"BF01934408_CR6","doi-asserted-by":"crossref","unstructured":"J. Goguen,Thoughts on specification, design and verification, ACM SIGSOFT Software Engineering Notes, Vol. 5 no. 3 (1980, July), 29\u201333.","DOI":"10.1145\/1010832.1010845"},{"key":"BF01934408_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/3-540-08766-4_12","volume-title":"The Vienna development method: the meta-language","author":"W. Henhapl","year":"1978","unstructured":"W. Henhapl and C. B. Jones,A formal definition of ALGOL 60 as described in the 1975 Modified Report, in D. Bj\u00f8rner and C. B. Jones (eds.),The Vienna development method: the meta-language, Springer, Lecture Notes in Computer Science 61, Berlin - Heidelberg - New York, 1978, pp. 305\u2013336."},{"key":"BF01934408_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-08766-4_10","volume-title":"The Vienna development method: the meta-language","author":"C. B. Jones","year":"1978","unstructured":"C. B. Jones,The meta-language: a reference manual, in D. Bj\u00f8rner and C. B. Jones (eds.),The Vienna development method: the meta-language, Springer, Lecture Notes in Computer Science 61, Berlin - Heidelberg - New York, 1978, pp. 218\u2013277."},{"key":"BF01934408_CR9","volume-title":"Software development: a rigorous approach","author":"C. B. Jones","year":"1980","unstructured":"C. B. Jones,Software development: a rigorous approach, Prentice-Hall, Englewood Cliffs, New Jersey, 1980."},{"key":"BF01934408_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/3-540-10007-5_43","volume-title":"Abstract software specifications","author":"B. Liskov","year":"1980","unstructured":"B. Liskov,Modular program construction using abstractions, in D. Bj\u00f8rner (ed.),Abstract software specifications, Springer, Lecture Notes in Computer Science 86, Berlin - Heidelberg - New York, 1980, pp. 354\u2013389."},{"key":"BF01934408_CR11","first-page":"1","volume-title":"Current Trends in Programming Methodology, Vol. 1","author":"B. Liskov","year":"1977","unstructured":"B. Liskov and S. Zilles,An introduction to formal specifications of data abstractions, in R. T. Yeh (ed.),Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, 1977, pp. 1\u201332."},{"key":"BF01934408_CR12","volume-title":"Concise survey of computer methods","author":"P. Naur","year":"1974","unstructured":"P. Naur,Concise survey of computer methods, Studentlitteratuur, Lund, Sweden, 1974."},{"key":"BF01934408_CR13","first-page":"220","volume-title":"Current Trends in Programming Methodology, Vol. 1","author":"P. Naur","year":"1977","unstructured":"P. Naur,Control-record-driven processing, in R. T. Yeh (ed.), Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, 1977, pp. 220\u2013232."},{"key":"BF01934408_CR14","volume-title":"Mysticism and logic","author":"B. Russell","year":"1953","unstructured":"B. Russell,Mysticism and logic, Penguin, Harmondsworth, England, 1953."},{"key":"BF01934408_CR15","volume-title":"Introduction, in L. Wittgenstein, Tractatus logico-philosophicus","author":"B. Russell","year":"1922","unstructured":"B. Russell,Introduction, in L. Wittgenstein, Tractatus logico-philosophicus, Routledge and Kegan Paul, London, 1922."},{"key":"BF01934408_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-10007-5_34","volume-title":"Abstract software specifications","author":"H. Zemanek","year":"1980","unstructured":"H. Zemanek,Abstract Architecture, in D. Bj\u00f8rner (ed.), Abstract software specifications, Springer, Lecture Notes in Computer Science 86, Berlin- Heidelberg - New York, 1980, pp. 1\u201342."}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01934408.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01934408\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01934408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:04:36Z","timestamp":1586351076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01934408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["BF01934408"],"URL":"https:\/\/doi.org\/10.1007\/bf01934408","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}