{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:07:24Z","timestamp":1725894444347},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071310"},{"type":"electronic","value":"9783540374015"}],"license":[{"start":{"date-parts":[[1975,1,1]],"date-time":"1975-01-01T00:00:00Z","timestamp":157766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07131-8_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:41:19Z","timestamp":1330184479000},"page":"1-10","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the development of systems of men and machines"],"prefix":"10.1007","author":[{"given":"H. D.","family":"Mills","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"1_CR1","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1972","unstructured":"O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming, Academic Press, London. 1972."},{"key":"1_CR2","volume-title":"Lecture Notes in Economics and Mathematical Systems, 81 Advanced Course on Software Engineering","author":"J. B. Dennis","year":"1973","unstructured":"J. B. Dennis, \"Concurrency in Software Systems\", Lecture Notes in Economics and Mathematical Systems, 81 Advanced Course on Software Engineering (Ed. F. L. Bauer), Springer-Verlag, Berlin, Heidelberg, New York. 1973."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare, \"An axiomatic basis for computer programming\", CACM 12. 1969. pp. 576\u2013580, 583.","journal-title":"CACM"},{"key":"1_CR4","unstructured":"J. McCarthy, \"A basis for a mathematical theory of computation\", Computer Programming and Formal Systems, (Eds. P. Braffort and D. Hirschberg), North-Holland Publishing Company. 1963. pp. 33\u201370."},{"key":"1_CR5","unstructured":"H.D. Mills, \"The new math of computer programming\", CACM 17, 1975. (To appear)."},{"issue":"5","key":"1_CR6","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas, \"A technique for software module specification with examples\", CACM 15, 5. May 1972. pp. 330\u2013336","journal-title":"CACM"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.21236\/AD0630125","volume-title":"Communications with Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1","author":"C. A. Petri","year":"1966","unstructured":"C. A. Petri, Communications with Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1, Griffiss Air Force Base, New York. 1966. (Originally published in German: Kommunikation mit Automaten, University of Bonn, 1962)."},{"issue":"3","key":"1_CR8","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/365230.365274","volume":"9","author":"J. E. Sammet","year":"1966","unstructured":"J. E. Sammet, \"The use of English as a programming language\", CACM 9, 3. March 1966. pp. 228\u2013230.","journal-title":"CACM"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1145\/364888.364967","volume":"7","author":"M. Wilkes","year":"1964","unstructured":"M. Wilkes, \"Constraint-type statements in programming languages\", CACM 7. 1964. pp. 587\u2013588.","journal-title":"CACM"},{"key":"1_CR10","volume-title":"Systematic Programming: An Introduction","author":"N. Wirth","year":"1973","unstructured":"N. Wirth, Systematic Programming: An Introduction, Prentice-Hall, Englewood Cliffs, New Jersey. 1973."},{"issue":"3","key":"1_CR11","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/365230.365249","volume":"9","author":"H. Zemanek","year":"1966","unstructured":"H. Zemanek, \"Semiotics and programming languages\", CACM 9, 3. March 1966. pp. 139\u2013143.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Programming Methodology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07131-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:57:58Z","timestamp":1558267078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07131-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071310","9783540374015"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-07131-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]},"assertion":[{"value":"25 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}