{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:22:42Z","timestamp":1725600162367},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852330828"},{"type":"electronic","value":"9781447105633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4471-0563-3_39","type":"book-chapter","created":{"date-parts":[[2011,8,11]],"date-time":"2011-08-11T13:02:26Z","timestamp":1313067746000},"page":"351-356","source":"Crossref","is-referenced-by-count":0,"title":["Visualisation of the OBJ Term Re-writing Process"],"prefix":"10.1007","author":[{"given":"Duncan S.","family":"Neary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin R.","family":"Woodward","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Using Graphical Icons to Build Z Specifications. Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop","author":"CN Yap","year":"1997","unstructured":"Yap, C.N. and Holcombe. M.: Using Graphical Icons to Build Z Specifications. Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop. 1997"},{"key":"39_CR2","volume-title":"A Visual Approach to VDM: Entity-Structure Diagrams. Technical Report DE\/DRPA\/91001, Bull, 68 Route de Versailles","author":"J Dick","year":"1991","unstructured":"Dick, J. and Loubersac, J.: A Visual Approach to VDM: Entity-Structure Diagrams. Technical Report DE\/DRPA\/91001, Bull, 68 Route de Versailles, 78430 Louveciennes, France. 1991"},{"key":"39_CR3","volume-title":"GRASP: A GRAphical SPecification Language for the Preliminary Specification of Logic Programs. Technical report IIIA 13","author":"J Agusti","year":"1995","unstructured":"Agusti, J., Robertson, D. and Puigsegur, J.: GRASP: A GRAphical SPecification Language for the Preliminary Specification of Logic Programs. Technical report IIIA 13. Institut d\u2019Investigaci\u00f3 en Intel-lig\u00e9ncia Artificial, Bellaterra, Catalonia, Spain. 1995"},{"key":"39_CR4","first-page":"170","volume-title":"An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications. Proc. Conf. on Specification of Reliable Software","author":"JA Goguen","year":"1979","unstructured":"Goguen, J.A. and Tardo, J.J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications. Proc. Conf. on Specification of Reliable Software. IEEE Computer Society. 1979; 170\u2013189"},{"issue":"10","key":"39_CR5","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.544348","volume":"22","author":"E Battiston","year":"1996","unstructured":"Battiston, E., De Cindio, F. and Mauri, G.: Modular Algebraic Nets to Specify Concurrent Systems. IEEE Transactions on Software Engineering. Vol 22. No 10. 1996; 689\u2013705","journal-title":"IEEE Transactions on Software Engineering"},{"key":"39_CR6","first-page":"34","volume-title":"An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. Proc. 19th Int. Conf. on Software Engineering","author":"S Nakajima","year":"1997","unstructured":"Nakajima, S. and Futatsugi, K.: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. Proc. 19th Int. Conf. on Software Engineering. ACM Press. 1997; 34\u201344"},{"issue":"8","key":"39_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/953349.953350","volume":"8","author":"I Nassi","year":"1973","unstructured":"Nassi, I. and Shneiderman, B.: Flowchart Techniques for Structured Programming. ACM Sigplan Notices. Vol.8 No.8 1973; 12\u201326.","journal-title":"ACM Sigplan Notices"},{"key":"39_CR8","volume-title":"Gerrard Software","author":"ObjEx User Reference Manual","year":"1987","unstructured":"ObjEx User Reference Manual. Gerrard Software, 24 Duke Street, Macclesfield, Cheshire SK11 6UR, UK. 1987"}],"container-title":["Visual Representations and Interpretations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0563-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T07:38:03Z","timestamp":1554017883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0563-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781852330828","9781447105633"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0563-3_39","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}