{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:16Z","timestamp":1762459276340,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662467336"},{"type":"electronic","value":"9783662467343"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46734-3_4","type":"book-chapter","created":{"date-parts":[[2015,3,19]],"date-time":"2015-03-19T11:37:12Z","timestamp":1426765032000},"page":"132-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Reusable Components of Semantic Specifications"],"prefix":"10.1007","author":[{"given":"Martin","family":"Churchill","sequence":"first","affiliation":[]},{"given":"Peter D.","family":"Mosses","sequence":"additional","affiliation":[]},{"given":"Neil","family":"Sculthorpe","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Torrini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-02654-1_8","volume-title":"Software Language Engineering","author":"A Afroozeh","year":"2013","unstructured":"Afroozeh, A., van den Brand, M., Johnstone, A., Scott, E., Vinju, J.: Safe specification of operator precedence rules. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 137\u2013156. Springer, Heidelberg (2013)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-54833-8_15","volume-title":"Programming Languages and Systems","author":"C Bach Poulsen","year":"2014","unstructured":"Bach Poulsen, C., Mosses, P.D.: Deriving pretty-big-step semantics from small-step semantics. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 270\u2013289. Springer, Heidelberg (2014)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-319-14125-1_13","volume-title":"Logic-Based Program Synthesis and Transformation","author":"CB Poulsen","year":"2014","unstructured":"Poulsen, C.B., Mosses, P.D.: Generating Specialized Interpreters for Modular Structural Operational Semantics. In: Gupta, G., Pe\u00f1a, R. (eds.) LOPSTR 2013. LNCS, vol. 8901, pp. 220\u2013236. Springer, Heidelberg (2014)"},{"volume-title":"Algebraic Specification","year":"1989","key":"4_CR4","unstructured":"Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic Specification. ACM Press\/Addison-Wesley, Reading (1989)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bogd\u0103na\u015f, D., Ro\u015fu, G.: K-Java: a complete semantics of Java. In: POPL 2015. ACM (2015)","DOI":"10.1145\/2676726.2676982"},{"issue":"2\u20133","key":"4_CR6","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Fruja, N.G., Gervasi, V., St\u00e4rk, R.F.: A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336(2\u20133), 235\u2013284 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-30101-1_3","volume-title":"Formal Methods for Components and Objects","author":"E B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Exploiting abstraction for specification reuse: the Java\/C# case study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 42\u201376. Springer, Heidelberg (2004)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"MGJ den van Brand","year":"2001","unstructured":"den van Brand, M.G.J., et al.: The ASF+SDF meta-environment: a component-based language development environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol. 2027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"MGJ van den Brand","year":"2006","unstructured":"van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment. Sci. Comput. Program. 61(3), 245\u2013264 (2006)","journal-title":"Sci. Comput. Program."},{"key":"4_CR10","unstructured":"Chalub, F., Braga, C.: Maude MSOS tool. https:\/\/github.com\/fcbr\/mmt. Accessed Jan 2015"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-37075-5_7","volume-title":"Foundations of Software Science and Computation Structures","author":"M Churchill","year":"2013","unstructured":"Churchill, M., Mosses, P.D.: Modular bisimulation theory for computations and values. In: Pfenning, F. (ed.) FOSSACS 2013 (ETAPS 2013). LNCS, vol. 7794, pp. 97\u2013112. Springer, Heidelberg (2013)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Churchill, M., Mosses, P.D., Sculthorpe, N., Torrini, P.: Reusable components of semantic specifications: additional material (2015). http:\/\/www.plancomps.org\/taosd2015","DOI":"10.1007\/978-3-662-46734-3_4"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Churchill, M., Mosses, P.D., Torrini, P.: Reusable components of semantic specifications. In: Modularity 2014, pp. 145\u2013156. ACM (2014)","DOI":"10.1145\/2577080.2577099"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Delaware, B., Keuchel, S., Schrijvers, T., Oliveira, B.C.: Modular monadic meta-theory. In: ICFP 2013, pp. 319\u2013330. ACM (2013)","DOI":"10.1145\/2544174.2500587"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"KG Doh","year":"2003","unstructured":"Doh, K.G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1), 3\u201336 (2003)","journal-title":"Sci. Comput. Program."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0096-0551(93)90008-O","volume":"19","author":"KG Doh","year":"1993","unstructured":"Doh, K.G., Schmidt, D.A.: Action semantics-directed prototyping. Comput. Lang. 19, 213\u2013233 (1993)","journal-title":"Comput. Lang."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: POPL 2012, pp. 533\u2013544. ACM (2012)","DOI":"10.1145\/2103621.2103719"},{"key":"4_CR18","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. MIT Press, Cambridge (2009)"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 103(2), 235\u2013271 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1188.001.0001","volume-title":"Algebraic Semantics of Imperative Programs","author":"JA Goguen","year":"1996","unstructured":"Goguen, J.A., Malcolm, G.: Algebraic Semantics of Imperative Programs. MIT Press, Cambridge (1996)"},{"key":"4_CR21","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"R Harper","year":"2000","unstructured":"Harper, R., Stone, C.: A type-theoretic interpretation of Standard ML. In: Plotkin, G.D., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)"},{"key":"4_CR22","unstructured":"Heering, J., Klint, P.: Prehistory of the ASF+SDF system (1980\u20131984). In: ASF+SDF95, pp. 1\u20134. Technical report 9504, Programming Research Group, University of Amsterdam (1995)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Hudak, P., Hughes, J., Jones, S.P., Wadler, P.: A history of Haskell: being lazy with class. In: HOPL-III, pp. 1\u201355. ACM (2007)","DOI":"10.1145\/1238844.1238856"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1049\/ip-sen:20041182","volume":"152","author":"J Iversen","year":"2005","unstructured":"Iversen, J., Mosses, P.D.: Constructive action semantics for Core ML. Softw. IEE Proc. 152, 79\u201398 (2005). Special issue on Language Definitions and Tool Generation","journal-title":"Softw. IEE Proc."},{"issue":"1\u20132","key":"4_CR25","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11334-009-0111-6","volume":"6","author":"A Johnstone","year":"2010","unstructured":"Johnstone, A., Mosses, P.D., Scott, E.: An agile approach to language modelling and development. Innov. Syst. Softw. Eng. 6(1\u20132), 145\u2013153 (2010). Special issue for ICFEM workshop FM+AM\u201909","journal-title":"Innov. Syst. Softw. Eng."},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-19440-5_20","volume-title":"Software Language Engineering","author":"A Johnstone","year":"2011","unstructured":"Johnstone, A., Scott, E.: Translator generation using ART. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 306\u2013315. Springer, Heidelberg (2011)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 87","author":"G Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 87. LNCS, vol. 247, pp. 22\u201339. Springer, Heidelberg (1987)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E.: The Spoofax language workbench. In: SPLASH\/OOPSLA Companion, pp. 237\u2013238. ACM (2010)","DOI":"10.1145\/1869542.1869592"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Klein, C., et al.: Run your research: on the effectiveness of lightweight mechanization. In: POPL 2012, pp. 285\u2013296. ACM (2012)","DOI":"10.1145\/2103621.2103691"},{"issue":"5","key":"4_CR30","first-page":"416","volume":"3","author":"PW Kutter","year":"1997","unstructured":"Kutter, P.W., Pierantonio, A.: Montages specifications of realistic programming languages. J. Univ. Comput. Sci. 3(5), 416\u2013442 (1997)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Lee, D.K., Crary, K., Harper, R.: Towards a mechanized metatheory of Standard ML. In: POPL 2007, pp. 173\u2013184. ACM (2007)","DOI":"10.1145\/1190215.1190245"},{"key":"4_CR32","unstructured":"Leroy, X.: Caml Light manual, December 1997. http:\/\/caml.inria.fr\/pub\/docs\/manual-caml-light"},{"issue":"2","key":"4_CR33","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1017\/S0956796802004550","volume":"13","author":"MY Levin","year":"2003","unstructured":"Levin, M.Y., Pierce, B.C.: TinkerType: a language for playing with formal systems. J. Funct. Program. 13(2), 295\u2013316 (2003)","journal-title":"J. Funct. Program."},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Lewis, J.R., Launchbury, J., Meijer, E., Shields, M.B.: Implicit parameters: dynamic scoping with static types. In: POPL 2000, pp. 108\u2013118. ACM (2000)","DOI":"10.1145\/325694.325708"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: POPL 1995, pp. 333\u2013343 (1995)","DOI":"10.1145\/199448.199528"},{"key":"4_CR36","first-page":"21","volume-title":"Information Processing 1962","author":"J McCarthy","year":"1962","unstructured":"McCarthy, J.: Towards a mathematical science of computation. In: Popplewell, C.M. (ed.) Information Processing 1962, pp. 21\u201328. North-Holland, Amsterdam (1962)"},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-22953-4_1","volume-title":"Fundamentals of Computation Theory","author":"J Meseguer","year":"2011","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project: a progress report. In: Owe, O., Steffen, M., Telle, J.A. (eds.) FCT 2011. LNCS, vol. 6914, pp. 1\u201337. Springer, Heidelberg (2011)"},{"key":"4_CR38","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)"},{"key":"4_CR39","unstructured":"Moggi, E.: An abstract view of programming languages. Technical report ECS-LFCS-90-113, Edinburgh University (1989)"},{"key":"4_CR40","volume-title":"Action Semantics, Cambridge Tracts in Theoretical Computer Science","author":"PD Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics, Cambridge Tracts in Theoretical Computer Science, vol. 26. Cambridge University Press, Cambridge (1992)"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-61550-4_139","volume-title":"Mathematical Foundations of Computer Science 1996","author":"PD Mosses","year":"1996","unstructured":"Mosses, P.D.: Theory and practice of action semantics. In: Penczek, W., Sza\u0142as, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 37\u201361. Springer, Heidelberg (1996)"},{"key":"4_CR42","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60\u201361","author":"PD Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. J. Log. Algebr. Program. 60\u201361, 195\u2013228 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"7","key":"4_CR43","first-page":"1117","volume":"11","author":"PD Mosses","year":"2005","unstructured":"Mosses, P.D.: A constructive approach to language definition. J. Univ. Comput. Sci. 11(7), 1117\u20131134 (2005)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Teaching semantics of programming languages with Modular SOS. In: Teaching Formal Methods: Practice and Experience. Electronic Workshops in Computing. BCS (2006)","DOI":"10.14236\/ewic\/TFM2006.12"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Component-based description of programming languages. In: Visions of Computer Science. Electronic Proceedings, pp. 275\u2013286. BCS (2008)","DOI":"10.14236\/ewic\/VOCS2008.23"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Component-based semantics. In: SAVCBS 2009, pp. 3\u201310. ACM (2009)","DOI":"10.1145\/1596486.1596489"},{"key":"4_CR47","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00165-009-0145-4","volume":"23","author":"PD Mosses","year":"2011","unstructured":"Mosses, P.D.: VDM semantics of programming languages: combinators and monads. Form. Asp. Comput. 23, 221\u2013238 (2011)","journal-title":"Form. Asp. Comput."},{"issue":"1","key":"4_CR48","first-page":"2","volume":"97","author":"PD Mosses","year":"2013","unstructured":"Mosses, P.D.: Semantics of programming languages: using ASF+SDF. Sci. Comput. Program. 97(1), 2\u201310 (2013). http:\/\/dx.doi.org\/10.1016\/j.scico.2013.11.038","journal-title":"Sci. Comput. Program."},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Mosses, P.D., New, M.J.: Implicit propagation in structural operational semantics. In: SOS 2008. Electr. Notes Theor. Comput. Sci., vol. 229(4), pp. 49\u201366. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"4_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-12904-4_12","volume-title":"Rewriting Logic and Its Applications","author":"PD Mosses","year":"2014","unstructured":"Mosses, P.D., Vesely, F.: FunKons: component-based semantics in K. In: Escobar, S. (ed.) WRLA 2014. LNCS, vol. 8663, pp. 213\u2013229. Springer, Heidelberg (2014)"},{"key":"4_CR51","unstructured":"Mosses, P.D., Watt, D.A.: The use of action semantics. In: Formal Description of Programming Concepts III, Proceedings of IFIP TC2 Working Conference, Gl. Avern\u00e6s, 1986, pp. 135\u2013166. Elsevier (1987)"},{"key":"4_CR52","unstructured":"Owens, S., Peskine, G., Sewell, P.: A formal specification for OCaml: the core language. Technical report, University of Cambridge (2008)"},{"key":"4_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78739-6_1","volume-title":"Programming Languages and Systems","author":"S Owens","year":"2008","unstructured":"Owens, S.: A sound semantics for OCaml light. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"4_CR54","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"4_CR55","unstructured":"PLanCompS: Programming language components and specifications (2011). http:\/\/www.plancomps.org"},{"key":"4_CR56","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"4_CR57","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, A.J.: Computational effects and operations: an overview. In: Proceedings of Workshop on Domains VI. Electr. Notes Theor. Comput. Sci., vol. 73, pp. 149\u2013163. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.08.008"},{"key":"4_CR58","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2014.05.002","volume":"304","author":"G Ro\u015fu","year":"2014","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: K overview and SIMPLE case study. Electr. Notes Theor. Comput. Sci. 304, 3\u201356 (2014)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR59","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1017\/S0956796809990293","volume":"20","author":"P Sewell","year":"2010","unstructured":"Sewell, P., Nardelli, F.Z., Owens, S., et al.: Ott: effective tool support for the working semanticist. J. Funct. Program. 20, 71\u2013122 (2010)","journal-title":"J. Funct. Program."},{"issue":"1","key":"4_CR60","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M Tofte","year":"1990","unstructured":"Tofte, M.: Type inference for polymorphic references. Inf. Comput. 89(1), 1\u201334 (1990)","journal-title":"Inf. Comput."},{"key":"4_CR61","unstructured":"Visser, E.: Syntax Definition for Language Prototyping. Ph.D. thesis, University of Amsterdam (1997)"},{"key":"4_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E Visser","year":"2001","unstructured":"Visser, E.: Stratego: a language for program transformation based on rewriting strategies system description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 357\u2013361. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development XII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46734-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T23:01:47Z","timestamp":1676934107000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46734-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662467336","9783662467343"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46734-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}