{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:50Z","timestamp":1725488870171},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439165"},{"type":"electronic","value":"9783540456100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45610-4_26","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:47:11Z","timestamp":1186886831000},"page":"367-370","source":"Crossref","is-referenced-by-count":6,"title":["JITty: A Rewriter with Strategy Annotations"],"prefix":"10.1007","author":[{"given":"Jaco","family":"van de Pol","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Proceedings of CAV 2001","author":"S. Blom","year":"2001","unstructured":"S. Blom, W. Fokkink, J. Groote, I. van Langevelde, B. Lisser, and J. van de Pol. \u03bcCRL: A toolset for analysing algebraic specifications. In Proceedings of CAV 2001, LNCS 2102, pages 250\u2013254, 2001. See also http:\/\/www.cwi.nl\/~mcrl\/ ."},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M. Brand van den","year":"2000","unstructured":"M. van den Brand, H. de Jong, P. Klint, and P.A. Olivier. Efficient Annotated Terms. Software-Practice & Experience, 30:259\u2013291, 2000.","journal-title":"Software-Practice & Experience"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In J. Goguen and G. Malcolm, editors, Software Engineering with OBJ: algebraic specification in action. Kluwer, 2000.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"J. van de Pol. Just-in-time: On strategy annotations. In B. Gramlich and S. Lucas, editors, Electronic Notes in TCS, volume 57, 2001. (Proc. of WRS 2001, Utrecht).","DOI":"10.1016\/S1571-0661(04)00267-1"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45610-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:54:31Z","timestamp":1556740471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45610-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439165","9783540456100"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-45610-4_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}