{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:48:45Z","timestamp":1767138525700,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540068419","type":"print"},{"value":"9783662215456","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/978-3-662-21545-6_8","type":"book-chapter","created":{"date-parts":[[2013,12,7]],"date-time":"2013-12-07T05:10:34Z","timestamp":1386393034000},"page":"112-128","source":"Crossref","is-referenced-by-count":4,"title":["Langages Sans Etiquettes et Transformations de Programmes"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Arsac","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"11","volume":"73","author":"J Arsac","year":"1973","unstructured":"J. Arsac \u201cles langages sans \u00e9tiquettes\u201d Publications de l\u2019Institut de Programmation, 73. 11 (1973)","journal-title":"Publications de lInstitut de Programmation"},{"key":"8_CR2","unstructured":"E.W.Dijkstra \u201cnotes on structured programming in structured programming\u201d Academic press (1972)."},{"key":"8_CR3","unstructured":"E.W.Dijkstra \u201ca simple axiomatic basis for programming language constructs Unpublished report EWD 372 (1973)"},{"key":"8_CR4","unstructured":"Z. Manna and A.K.Chandra, \u201con the powwer of programming features\u201d Stanford artificial intelligence Memo - aim 185 (1973)"},{"key":"8_CR5","unstructured":"G.Ruggiu, \u201cformalization of EXEL\u201d- ACM Sigact-Sigplan Symposium on principles of programming languages - Boston (1973)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"N. Wirth, \u201cThe programming language Pascal\u201d Acta Informatica 1, 1 (1971)","DOI":"10.1007\/BF00264291"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-21545-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T08:56:36Z","timestamp":1561971396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-21545-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068419","9783662215456"],"references-count":6,"aliases":["10.1007\/3-540-06841-4_55"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-21545-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1974]]}}}