{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:37Z","timestamp":1725664537745},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:32:30Z","timestamp":1330295550000},"page":"214-226","source":"Crossref","is-referenced-by-count":1,"title":["Adding design strategies to fork algebras"],"prefix":"10.1007","author":[{"given":"Marcelo F.","family":"Frias","sequence":"first","affiliation":[]},{"given":"Gabriel A.","family":"Baum","sequence":"additional","affiliation":[]},{"given":"Armando M.","family":"Haeberer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Baum, G.A., Frias, M.F., Haeberer, A.M. and Mart\u00ednez L\u00f3pez, P.E., From Specifications to Programs: A Fork-algebraic Approach to Bridge the Gap, to appear in Proceedings of MFCS'96, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61550-4_147"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bird, R., An Introduction to the Theory of Lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F, pp. 3\u201342. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"19_CR3","unstructured":"Bird, R., A Calculus of Functions for Program Derivation, in Turner D., editor, Research Topics in Functional Programming, University of Texas at Austin Year of Programming Series, Addison-Wesley 287\u2013308, 1990."},{"key":"19_CR4","unstructured":"Bird, R. and de Moor, O. Relational Program Derivation and Context-free Language Recognition. In A.W. Roscoe, editor, A Classical Mind: Essays dedicated to C. A. R. Hoare. Prentice Hall, 1995."},{"key":"19_CR5","unstructured":"Chin, L.H. and Tarski, A., Distributive and Modular Laws in the Arithmetic of Relation Algebras, in University of California Publications in Mathematics. University of California, 1951, 341\u2013384."},{"key":"19_CR6","unstructured":"Frias, M.F., Baum, G.A., Haeberer, A.M. and Veloso, P.A.S., Fork Algebras are Representable, in Bull. Sect. of Logic, University of \u0141\u00f3d\u017a, (24)2, 1995, pp.64\u201375."},{"key":"19_CR7","first-page":"55","volume-title":"Proc. of ADBIS'95","author":"M.F. Frias","year":"1995","unstructured":"Frias, M.F. and Gordillo, S.E., Semantic Optimization of Queries to Deductive Object-Oriented Database, in Proc. of ADBIS'95, Moscow, June 1995, Springer-Verlag, 55\u201372."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Haeberer, A.M., Baum, G.A. and Schmidt G., On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers, in Proc. of the Intl. Conf. on Formal Methods in Programming and Their Applications, LNCS 735, Springer-Verlag, 1993, 281\u2013298.","DOI":"10.1007\/BFb0039715"},{"key":"19_CR9","unstructured":"Haeberer, A.M. and Veloso, P.A.S., Partial Relations for Program Derivation: Adequacy, Inevitability and Expressiveness, in Constructing Programs from Specifications. North Holland., 1991, 319\u2013371."},{"key":"19_CR10","unstructured":"M\u00f6ller, B., Relations as a Program Development Calculus, in Constructing Programs from Specifications, North-Holland, 1991, 373\u2013397."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"de Moor, O., Categories, Relations and Dynamic Programming, Math. Structures in Computer Science, Vol.4, pp.33\u201369, Cambridge University Press, 1994.","DOI":"10.1017\/S0960129500000360"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A., On the Calculus of Relations, Journal of Symbolic Logic, vol. 6, 1941, 73\u201389.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:45Z","timestamp":1605647505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}