{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:06:28Z","timestamp":1742385988144},"publisher-location":"Berlin, Heidelberg","reference-count":71,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540886426"},{"type":"electronic","value":"9783540886433"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88643-3_4","type":"book-chapter","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T03:12:26Z","timestamp":1223349146000},"page":"134-195","source":"Crossref","is-referenced-by-count":16,"title":["Transforming Data by Calculation"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 N.","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Aarts, C., Backhouse, R.C., Hoogendijk, P., Voermans, E., van der Woude, J.: A relational theory of datatypes (December 1992), http:\/\/www.cs.nott.ac.uk\/~rcb","DOI":"10.1007\/3-540-57499-9_15"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11526841_27","volume-title":"FM 2005: Formal Methods","author":"T.L. Alves","year":"2005","unstructured":"Alves, T.L., Silva, P.F., Visser, J., Oliveira, J.N.: Strategic term rewriting and its application to a VDM-SL to SQL conversion. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 399\u2013414. Springer, Heidelberg (2005)"},{"key":"4_CR3","unstructured":"Ambler, S.W.: The object-relational impedance mismatch (February15, 2006), http:\/\/www.agiledata.org\/essays\/impedanceMismatch.html"},{"issue":"1\u20132","key":"4_CR4","first-page":"153","volume":"15","author":"K. Backhouse","year":"2004","unstructured":"Backhouse, K., Backhouse, R.C.: Safety of abstract interpretations for free, via logical relations and Galois connections. SCP\u00a015(1\u20132), 153\u2013196 (2004)","journal-title":"SCP"},{"key":"#cr-split#-4_CR5.1","unstructured":"Backhouse, R.C.: Mathematics of Program Construction, pages 608. Univ. of Nottingham (2004);"},{"key":"#cr-split#-4_CR5.2","unstructured":"Draft of book in preparation"},{"key":"4_CR6","first-page":"303","volume-title":"AMAST 1991","author":"R.C. Backhouse","year":"1992","unstructured":"Backhouse, R.C., de Bruin, P., Hoogendijk, P., Malcolm, G., Voermans, T.S., van der Woude, J.: Polynomial relators. In: AMAST 1991, pp. 303\u2013362. Springer, Heidelberg (1992)"},{"issue":"8","key":"4_CR7","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? a functional style and its algebra of programs. CACM\u00a021(8), 613\u2013639 (1978)","journal-title":"CACM"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-540-79980-1_7","volume-title":"AMAST 2008","author":"L.S. Barbosa","year":"2008","unstructured":"Barbosa, L.S., Oliveira, J.N., Silva, A.M.: Calculating invariants as coreflexive bisimulations. In: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 83\u201399. Springer, Heidelberg (2008)"},{"key":"4_CR9","unstructured":"Berdaguer, P.: Algebraic representation of UML class-diagrams, May, Dept. Informatics, U.Minho. Technical note (2007)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-69611-7_19","volume-title":"Practical Aspects of Declarative Languages","author":"P. Berdaguer","year":"2006","unstructured":"Berdaguer, P., Cunha, A., Pacheco, H., Visser, J.: Coupled Schema Transformation and Data Conversion For XML and SQL. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 290\u2013304. Springer, Heidelberg (2006)"},{"key":"4_CR11","series-title":"Series in Computer Science","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. C.A.R. Hoare, series editor, Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1017\/S0956796801003914","volume":"11","author":"R.S. Bird","year":"2001","unstructured":"Bird, R.S.: Unfolding pointer algorithms. J. Funct. Program.\u00a011(3), 347\u2013358 (2001)","journal-title":"J. Funct. Program."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: ACM SIGPLAN\u2013SIGACT POPL Symposium, pp. 407\u2013419 (January 2008)","DOI":"10.1145\/1328897.1328487"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Vaughan, J.A., Pierce, B.C.: Relational lenses: A language for updateable views. In: Principles of Database Systems (PODS) (2006)","DOI":"10.1145\/1142351.1142399"},{"key":"4_CR15","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley Longman, Amsterdam (1999)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. JACM\u00a024(1), 44\u201367 (1977)","journal-title":"JACM"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11813040_20","volume-title":"FM 2006: Formal Methods","author":"A. Cunha","year":"2006","unstructured":"Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 284\u2013289. Springer, Heidelberg (2006)"},{"key":"4_CR18","first-page":"11","volume-title":"PEPM 2007","author":"A. Cunha","year":"2007","unstructured":"Cunha, A., Visser, J.: Transformation of structure-shy programs: applied to XPath queries and strategic functions. In: PEPM 2007, pp. 11\u201320. ACM, New York (2007)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264597","volume":"11","author":"J. Darlington","year":"1978","unstructured":"Darlington, J.: A synthesis of several sorting algorithms. Acta Informatica\u00a011, 1\u201330 (1978)","journal-title":"Acta Informatica"},{"key":"4_CR20","volume-title":"Data Refinement Model-Oriented Proof methods and their Comparison","author":"W.-P. Roever de","year":"1999","unstructured":"de Roever, W.-P., Engelhardt, K., Coenen, J., Buth, K.-H., Gardiner, P., Lakhnech, Y., Stomp, F.: Data Refinement Model-Oriented Proof methods and their Comparison. Cambridge University Press, Cambridge (1999)"},{"key":"4_CR21","unstructured":"Deutsch, M., Henson, M., Reeves, S.: Modular reasoning in Z: scrutinising monotonicity and refinement (to appear, 2006)"},{"key":"4_CR22","unstructured":"Dijkman, R.M., Pires, L.F., Joosten, S.: Calculating with concepts: a technique for the development of business process support. In: pUML. LNI, vol.\u00a07, pp. 87\u201398. GI (2001)"},{"issue":"1\u20132","key":"4_CR23","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(96)00154-5","volume":"179","author":"H. Doornbos","year":"1997","unstructured":"Doornbos, H., Backhouse, R., van der Woude, J.: A calculational approach to mathematical induction. Theoretical Computer Science\u00a0179(1\u20132), 103\u2013135 (1997)","journal-title":"Theoretical Computer Science"},{"key":"4_CR24","unstructured":"Fielding, E.: The specification of abstract mappings and their implementation as B\u2009+\u2009-trees. Technical Report PRG-18, Oxford University (September 1980)"},{"key":"4_CR25","volume-title":"Modelling Systems: Practical Tools and Techniques for Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques for Software Development, 1st edn. Cambridge University Press, Cambridge (1998)","edition":"1"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (ed.) Proc. Symposia in Applied Mathematics Mathematical Aspects of Computer Science, vol.\u00a019, pp. 19\u201332. American Mathematical Society (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"3","key":"4_CR27","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst\u00a029(3), 17 (2007)","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"4_CR28","series-title":"Logic and Computer Science","doi-asserted-by":"publisher","DOI":"10.1142\/4899","volume-title":"Fork algebras in algebra, logic and computer science","author":"M.F. Frias","year":"2002","unstructured":"Frias, M.F.: Fork algebras in algebra, logic and computer science. Logic and Computer Science. World Scientific Publishing Co, Singapore (2002)"},{"key":"4_CR29","unstructured":"Gibbons, J.: When is a function a fold or an unfold?, Working document 833 FAV-12 available from the website of IFIP WG 2.1, 57th meeting, New York City, USA (2003)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11877028_4","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J.-L. Hainaut","year":"2006","unstructured":"Hainaut, J.-L.: The transformational approach to database engineering. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 95\u2013143. Springer, Heidelberg (2006)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"He, J., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 187\u2013196 (1986)","DOI":"10.1007\/3-540-16442-1_14"},{"key":"4_CR32","unstructured":"Hoogendijk, P.: A Generic Theory of Data Types. PhD thesis, University of Eindhoven, The Netherlands (1997)"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/1014007.1014025","volume-title":"Proc. ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","author":"Z. Hu","year":"2004","unstructured":"Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: Proc. ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 178\u2013189. ACM Press, New York (2004)"},{"key":"4_CR34","unstructured":"Hutton, G., Meijer, E.: Back to basics: Deriving representation changers functionally. Journal of Functional Programming (1993) (Functional Pearl)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-27764-4_12","volume-title":"Mathematics of Program Construction","author":"G. Hutton","year":"2004","unstructured":"Hutton, G., Wright, J.: Compiling exceptions correctly. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 211\u2013227. Springer, Heidelberg (2004)"},{"key":"4_CR36","volume-title":"Software abstractions: logic, language, and analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software abstractions: logic, language, and analysis. The MIT Press, Cambridge Mass (2006)"},{"key":"4_CR37","volume-title":"Advanced Functional Programming","author":"J. Jeuring","year":"1996","unstructured":"Jeuring, J., Jansson, P.: Polytypic programming. In: Advanced Functional Programming. Springer, Heidelberg (1996)"},{"key":"4_CR38","series-title":"Series in Computer Science","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 1st edn. Series in Computer Science. Prentice-Hall Int., Englewood Cliffs (1986)","edition":"1"},{"key":"4_CR39","unstructured":"Jourdan, I.S.: Reifica\u00e7\u00e3o de tipos abstractos de dados: Uma abordagem matem\u00e1tica. Master\u2019s thesis, University of Coimbra (1992) (in Portuguese)"},{"key":"4_CR40","first-page":"1","volume":"4","author":"W. Kahl","year":"2003","unstructured":"Kahl, W.: Refinement and development of programs from relational specifications. ENTCS\u00a04, 1\u20134 (2003)","journal-title":"ENTCS"},{"key":"4_CR41","volume-title":"Advanced Engineering Mathematics","author":"E. Kreyszig","year":"1988","unstructured":"Kreyszig, E.: Advanced Engineering Mathematics, 6th edn. J.\u00a0Wiley & Sons, Chichester (1988)","edition":"6"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11877028_6","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Meijer, E.: Mappings make data processing go round. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 169\u2013218. Springer, Heidelberg (2006)"},{"key":"4_CR43","unstructured":"Lano, K.: Catalogue of model transformations, http:\/\/www.dcs.kcl.ac.uk\/staff\/kcl\/"},{"key":"4_CR44","volume-title":"Conceptual Mathematics: a First Introduction to Categories","author":"B. Lawvere","year":"1997","unstructured":"Lawvere, B., Schanuel, S.: Conceptual Mathematics: a First Introduction to Categories. Cambridge University Press, Cambridge (1997)"},{"key":"4_CR45","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)"},{"key":"4_CR46","first-page":"21","volume-title":"Proc. IFIP 62","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: Towards a mathematical science of computation. In: Popplewell, C.M. (ed.) Proc. IFIP 62, pp. 21\u201328. North-Holland Pub.Company, Amsterdam (1963)"},{"key":"4_CR47","series-title":"Oxford Logic Guides","volume-title":"Elementary Categories, Elementary Toposes","author":"C. McLarty","year":"1995","unstructured":"McLarty, C.: Elementary Categories, Elementary Toposes, 1st edn. Oxford Logic Guides, vol.\u00a021. Calendron Press, Oxford (1995)","edition":"1"},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-27815-3_38","volume-title":"Algebraic Methodology and Software Technology","author":"S. Meng","year":"2004","unstructured":"Meng, S., Barbosa, L.S.: On refinement of generic state-based software components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 506\u2013520. Springer, Heidelberg (2004) (Best student co-authored paper award)"},{"key":"4_CR49","series-title":"Series in Computer Science","volume-title":"Programming from Specification","author":"C. Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specification. C.A.R. Hoare, series (ed.), Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1990)"},{"key":"4_CR50","unstructured":"Necco, C., Oliveira, J.N., Visser, J.: Extended static checking by strategic rewriting of pointfree relational expressions. Technical Report FAST:07.01, CCTC Research Centre, University of Minho (2007)"},{"key":"4_CR51","unstructured":"Oliveira, J.N.: Refinamento transformacional de especifica\u015f\u00f5es (terminais). In: Proc. of XII Jornadas Luso-Espanholas de Matem\u00e1tica, vol.\u00a0II, pp. 412\u2013417 (May 1987)"},{"issue":"1","key":"4_CR52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J.N. Oliveira","year":"1990","unstructured":"Oliveira, J.N.: A Reification Calculus for Model-Oriented Software Specification. Formal Aspects of Computing\u00a02(1), 1\u201323 (1990)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR53","first-page":"140","volume-title":"Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development","author":"J.N. Oliveira","year":"1992","unstructured":"Oliveira, J.N.: Invited paper: Software Reification using the SETS Calculus. In: Denvir, T., Jones, C.B., Shaw, R.C. (eds.) Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK, pp. 140\u2013171. Springer, Heidelberg (1992)"},{"key":"4_CR54","unstructured":"Oliveira, J.N.: Data processing by calculation. In: 6th Estonian Winter School in Computer Science, Palmse, Estonia, March 4-9, 2001. Lecture notes, pages 108 (2001)"},{"key":"4_CR55","unstructured":"Oliveira, J.N.: Constrained datatypes, invariants and business rules: a relational approach, PUReCaf\u00e9, DI-UM, 2004.5.20 [talk], PURE Project (POSI\/CHS\/44304\/2002) (2004)"},{"key":"4_CR56","unstructured":"Oliveira, J.N.: Calculate databases with simplicity, Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK (September 2004) (Slides available from the author\u2019s website)"},{"key":"4_CR57","unstructured":"Oliveira, J.N.: Reinvigorating pen-and-paper proofs in VDM: the pointfree approach. In: The Third OVERTURE Workshop, Newcastle, UK, 27-28 November (2006)"},{"key":"4_CR58","unstructured":"Oliveira, J.N.: Pointfree foundations for (generic) lossless decomposition (submitted, 2007)"},{"key":"4_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-27764-4_18","volume-title":"Mathematics of Program Construction","author":"J.N. Oliveira","year":"2004","unstructured":"Oliveira, J.N., Rodrigues, C.J.: Transposing relations: from Maybe functions to hash tables. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 334\u2013356. Springer, Heidelberg (2004)"},{"key":"4_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11813040_17","volume-title":"FM 2006: Formal Methods","author":"J.N. Oliveira","year":"2006","unstructured":"Oliveira, J.N., Rodrigues, C.J.: Pointfree factorization of operation refinement. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085. pp. 236\u2013251. Springer, Heidelberg (2006)"},{"key":"4_CR61","first-page":"248","volume-title":"Proc. of the 7th Annual IEEE Symp. on Logic in Computer Science","author":"V. Pratt","year":"1992","unstructured":"Pratt, V.: Origins of the calculus of binary relations. In: Proc. of the 7th Annual IEEE Symp. on Logic in Computer Science, pp. 248\u2013254. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"4_CR62","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: LICS, pp. 55\u201374 (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"4_CR63","unstructured":"Rodrigues, C.J.: Software Refinement by Calculation. PhD thesis, Departamento de Inform\u00e1tica, Universidade do Minho (submitted, 2007)"},{"key":"4_CR64","series-title":"Lecture Notes in Computer Science","volume-title":"TASE 2008, The 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"S. Wang","year":"2008","unstructured":"Wang, S., Barbosa, L.S., Oliveira, J.N.: A relational model for confined separation logic. In: TASE 2008, The 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering, June 17 - 19. LNCS. Springer, Heidelberg (2008)"},{"issue":"3","key":"4_CR65","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1017\/S0956796897002712","volume":"7","author":"P. Sestoft","year":"1997","unstructured":"Sestoft, P.: Deriving a lazy abstract machine. J. Funct. Program\u00a07(3), 231\u2013264 (1997)","journal-title":"J. Funct. Program"},{"issue":"5","key":"4_CR66","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S095679680300488X","volume":"14","author":"T. Sheard","year":"2004","unstructured":"Sheard, T., Pasalic, E.: Two-level types and parameterized modules. Journal of Functional Programming\u00a014(5), 547\u2013587 (2004)","journal-title":"Journal of Functional Programming"},{"key":"4_CR67","doi-asserted-by":"crossref","unstructured":"Thomas, D.: The impedance imperative tuples + objects + infosets =too much stuff! Journal of Object Technology\u00a02(5) (September\/ October 5, 2003)","DOI":"10.5381\/jot.2003.2.5.c1"},{"key":"4_CR68","unstructured":"Visser, J.: Generic Traversal over Typed Source Code Representations. Ph. D. dissertation, University of Amsterdam, Amsterdam, The Netherlands (2003)"},{"key":"4_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0043080","volume-title":"Algebraic Logic and Universal Algebra in Computer Science","author":"E.G. Wagner","year":"1990","unstructured":"Wagner, E.G.: All recursive types defined using products and sums can be implemented using pointers. In: Bergman, C., Maddux, R.D., Pigozzi, D. (eds.) Algebraic Logic and Universal Algebra in Computer Science. LNCS, vol.\u00a0425. Springer, Heidelberg (1990)"},{"key":"4_CR70","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Inc., Upper Saddle River (1996)"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88643-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T23:50:10Z","timestamp":1631922610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88643-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540886426","9783540886433"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88643-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}