{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:23:50Z","timestamp":1725607430792},"publisher-location":"Dordrecht","reference-count":19,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401047890"},{"type":"electronic","value":"9789401117937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-94-011-1793-7_9","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T11:40:00Z","timestamp":1315827600000},"page":"191-210","source":"Crossref","is-referenced-by-count":0,"title":["Formalization in Program Development"],"prefix":"10.1007","author":[{"given":"Peter","family":"Naur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"AV Aho","year":"1974","unstructured":"Aho, A. V., Hopcroft, J. E., and Ullman, J. D.: 1974, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass."},{"key":"9_CR2","first-page":"125","volume-title":"\u2018The Syntax and Semantics of the Proposed International Algebraic Language of the Z\u00fcrich ACM-GAMM Conference, Proc. International Conf. on Information Processing\u2019","author":"JW Backus","year":"1959","unstructured":"Backus, J. W.: 1959, \u2018The Syntax and Semantics of the Proposed International Algebraic Language of the Z\u00fcrich ACM-GAMM Conference, Proc. International Conf. on Information Processing\u2019, UNESCO, pp. 125\u2013132."},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/367651.367695","volume":"6","author":"AJ Perlis","year":"1963","unstructured":"Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Naur, P. (Ed.), Perlis, A. J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J. H., van Wijngaarden, A., and Woodger, M.: 1963, \u2018Revised Report on the Algorithm Language ALGOL 60\u2019, Comm. ACM\n                  6(1), 1\u201317;","journal-title":"Comm. ACM"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1093\/comjnl\/5.4.349","volume":"5","author":"AJ Perlis","year":"1963","unstructured":"Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Naur, P. (Ed.), Perlis, A. J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J. H., van Wijngaarden, A., and Woodger, M.: 1963, \u2018Revised Report on the Algorithm Language ALGOL 60\u2019, Computer Journal\n                  5, 349\u2013367;","journal-title":"Computer Journal"},{"key":"9_CR5","first-page":"106","volume":"2","author":"AJ Perlis","year":"1963","unstructured":"Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Naur, P. (Ed.), Perlis, A. J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J. H., van Wijngaarden, A., and Woodger, M.: 1963, \u2018Revised Report on the Algorithm Language ALGOL 60\u2019, Num. Math.\n                  2, 106\u2013136.","journal-title":"Num. Math."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1093\/comjnl\/19.4.364","volume":"19","author":"RM Morgan de","year":"1976","unstructured":"de Morgan, R. M., Hill, I. D., and Wichman, B. A.: 1976, \u2018Modified Report on the Algorithmic Language ALGOL 60\u2019, Computer Journal\n                  19, 364\u2013379.","journal-title":"Computer Journal"},{"key":"9_CR7","first-page":"1","volume-title":"Theoremais arithmetici \u2014 demonstratio nova, Commentationes Societatis Regiae Scientiarum Gottingensis","author":"CF Gauss","year":"1876","unstructured":"Gauss, C. F.: 1876, Theoremais arithmetici \u2014 demonstratio nova, Commentationes Societatis Regiae Scientiarum Gottingensis, Vol. 16, Gottingen, 1808; Werke, 1876, Bd. 2, pp. 1\u20138"},{"key":"9_CR8","first-page":"112","volume-title":"English translation in D. E. Smith, A Source Book in Mathematics","author":"CF Gauss","year":"18761959","unstructured":"Gauss, C. F.: 1876, English translation in D. E. Smith, A Source Book in Mathematics, Vol. 1, Dover, New York, 1959, pp. 112\u2013118."},{"issue":"3","key":"9_CR9","first-page":"29","volume":"5","author":"J Goguen","year":"1980","unstructured":"Goguen, J.: 1980, \u2018Thoughts on Specification, Design and Verification\u2019, ACM SIGSOFT Software Engineering Notes\n                  5(3), 29\u201333.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"9_CR10","doi-asserted-by":"publisher","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":"Henhapl, W., and Jones, C. B.: 1978, \u2018A Formal Definition of ALGOL 60 as Described in the 1975 Modified Report\u2019, 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, pp. 305\u2013336."},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-08766-4_10","volume-title":"The Vienna Development Method: The Meta-Language","author":"CB Jones","year":"1978","unstructured":"Jones, C. B.: 1978, \u2018The Meta-Language: A Reference Manual\u2019, 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, pp. 218\u2013277."},{"key":"9_CR12","volume-title":"Software Development: A Rigorous Approach","author":"CB Jones","year":"1980","unstructured":"Jones, C. B.: 1980, Software Development: A Rigorous Approach, Prentice-Hall, Englewood Cliffs, New Jersey."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-10007-5_43","volume-title":"Abstract Software Specifications","author":"B Liskov","year":"1980","unstructured":"Liskov, B.: 1980, \u2018Modular Program Construction Using Abstractions\u2019, in D. Bj\u00f8rner (Ed.), Abstract Software Specifications, Springer, Lecture Notes in Computer Science 86, Berlin, Heidelberg, New York, pp. 354\u2013389."},{"key":"9_CR14","first-page":"1","volume-title":"Current Trends in Programming Methodology","author":"B Liskov","year":"1977","unstructured":"Liskov, B., and Zilles, S.: 1977, \u2018An Introduction to Formal Specifications of Data Abstractions\u2019, in R. T. Yeh (Ed.), Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 1\u201332."},{"key":"9_CR15","volume-title":"Concise Survey of Computer Methods","author":"P Naur","year":"1974","unstructured":"Naur, P.: 1974, Concise Survey of Computer Methods, Studentlitteratuur, Lund, Sweden."},{"key":"9_CR16","first-page":"220","volume-title":"Current Trends in Programming Methodology","author":"P Naur","year":"1977","unstructured":"Naur, P.: 1977, \u2018Control-Record-Driven Processing\u2019, in R. T. Yeh (Ed.), Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 220\u2013232."},{"key":"9_CR17","volume-title":"Mysticism and Logic","author":"B Russell","year":"1953","unstructured":"Russell, B.: 1953, Mysticism and Logic, Penguin, Harmondsworth, England."},{"key":"9_CR18","volume-title":"\u2018Introduction\u2019, in Wittgenstein, L.: Tractatus Logico-Philosophicus","author":"B Russell","year":"1922","unstructured":"Russell, B.: 1922, \u2018Introduction\u2019, in Wittgenstein, L.: Tractatus Logico-Philosophicus, Routledge and Kegan Paul, London."},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-10007-5_34","volume-title":"Abstract Software Specifications","author":"H Zemanek","year":"1980","unstructured":"Zemanek, H.: 1980, \u2018Abstract Architecture\u2019, in D. Bj\u00f8rner (Ed.), Abstract Software Specifications, Springer, Lecture Notes in Computer Science 86, Berlin, Heidelberg, New York, pp. 1\u201342."}],"container-title":["Studies in Cognitive Systems","Program Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-1793-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:03:37Z","timestamp":1620302617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-1793-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9789401047890","9789401117937"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-1793-7_9","relation":{},"ISSN":["0924-0780"],"issn-type":[{"type":"print","value":"0924-0780"}],"subject":[],"published":{"date-parts":[[1993]]}}}