{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:30Z","timestamp":1725663990064},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:13:35Z","timestamp":1330193615000},"page":"101-121","source":"Crossref","is-referenced-by-count":1,"title":["Specification in COLD-1 of a CAD package for drawing shadow masks"],"prefix":"10.1007","author":[{"given":"F. J.","family":"Linden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"7_CR1","unstructured":"D. Bj\u00f6rner, C.B. Jones (eds.), The Vienna development method: the meta-language, Springer Verlag, LNCS 61 (1978)."},{"key":"7_CR2","first-page":"631","volume-title":"ESPRIT '86: Results and Achievements","author":"L.M.G. Feijs","year":"1986","unstructured":"L.M.G. Feijs, H.B.M. Jonkers, J.H. Obbink, C.P.J. Koymans, G.R. Renardel de Lavalette, P.H. Rodenburg, A survey of the design language COLD, in: ESPRIT '86: Results and Achievements, Elseviers Science Publishers B.V. (North Holland), pp. 631\u2013644 (1986)."},{"key":"7_CR3","unstructured":"L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, ESPRIT document METEOR\/t7\/PRLE\/7 (1987)."},{"key":"7_CR4","unstructured":"D. Harel, Dynamic logic, in.: D. Gabbay, F. Guenther (eds.), Handbook of Philosophical Logic, vol. II, D. Reidel Publishing Company, pp. 497\u2013604 (1984)."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"H.B.M. Jonkers, Introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (eds.), Algebraic Methods: Theory, Tools and Applications, Springer Verlag LNCS 394 pp. 139\u2013206 (1989).","DOI":"10.1007\/BFb0015039"},{"key":"7_CR6","unstructured":"H.B.M. Jonkers, A concrete syntax for COLD-K, ESPRIT document METEOR\/t8\/PRLE\/2 (1988)."},{"key":"7_CR7","unstructured":"J.M. Spivey, Understanding Z, a specification language and its formal semantics, Cambridge Tracts in Theoretical Computer Science 3 (1988)."},{"key":"7_CR8","unstructured":"J.M. Spivey, The Z Notation: A reference manual, Prentice Hall (1989)."}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:24:05Z","timestamp":1619558645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3540547428_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}