{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T17:27:00Z","timestamp":1675790820369},"reference-count":44,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer-Aided Design"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1016\/0010-4485(91)90001-d","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T14:47:17Z","timestamp":1047653237000},"page":"99-116","source":"Crossref","is-referenced-by-count":11,"title":["Formal specification of topological subdivisions using hypermaps"],"prefix":"10.1016","volume":"23","author":[{"given":"Jean-Fran\u00e7ois","family":"Dufourd","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"No 1","key":"10.1016\/0010-4485(91)90001-D_BIB1","article-title":"Topological models for boundary representation: a comparison with N-dimensional generalized maps","volume":"Vol 13","author":"Lienhardt","year":"1990","journal-title":"CAD"},{"key":"10.1016\/0010-4485(91)90001-D_BIB2","author":"Ehrig","year":"1985"},{"key":"10.1016\/0010-4485(91)90001-D_BIB3","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/0010-4485(91)90001-D_BIB4","series-title":"VDM-A Formal Method at Work LNCS 252","author":"Bj\u00f6rner","year":"1987"},{"key":"10.1016\/0010-4485(91)90001-D_BIB5","series-title":"The Z Notation","author":"Spivey","year":"1989"},{"issue":"No 4","key":"10.1016\/0010-4485(91)90001-D_BIB6","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/69622.357191","article-title":"Formal specification of graphic data types","volume":"Vol 4","author":"Mallgren","year":"1982","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0010-4485(91)90001-D_BIB7","article-title":"Formal specification of interactive graphics programming languages","author":"Mallgren","year":"1982"},{"issue":"No 3","key":"10.1016\/0010-4485(91)90001-D_BIB8","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1145\/44479.44481","article-title":"Formal specification of a small example based on GKS","volume":"Vol 7","author":"Duce","year":"1988","journal-title":"ACM Trans. Graph."},{"issue":"No 2","key":"10.1016\/0010-4485(91)90001-D_BIB9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1111\/j.1467-8659.1989.tb00461.x","article-title":"A framework for functional specification and transformation of hidden surface elimination algorithms","volume":"Vol 8","author":"Lakshminarasimhan","year":"1989","journal-title":"Comp. Graphics Forum"},{"issue":"No 2","key":"10.1016\/0010-4485(91)90001-D_BIB10","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1111\/j.1467-8659.1989.tb00462.x","article-title":"Image representations using Mirands laws","volume":"Vol 8","author":"Parsons","year":"1989","journal-title":"Comp. Graphics Forum"},{"key":"10.1016\/0010-4485(91)90001-D_BIB11","series-title":"Proc. Eurographics","first-page":"141","article-title":"A formal specification of a boundary representation","author":"Baumann","year":"1988"},{"issue":"No 3","key":"10.1016\/0010-4485(91)90001-D_BIB12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1111\/j.1467-8659.1988.tb00607.x","article-title":"Construction of programs in computer graphics","volume":"Vol 7","author":"Dufourd","year":"1988","journal-title":"Comput. Graph. Forum"},{"key":"10.1016\/0010-4485(91)90001-D_BIB13","series-title":"Proc. Eurographics","first-page":"301","article-title":"Algebraic map-based topological kernel for polydron modelers","author":"Dufourd","year":"1989"},{"key":"10.1016\/0010-4485(91)90001-D_BIB14","series-title":"Proc. Nat. Comp. Conf.","first-page":"589","article-title":"A polyhedron representation for computer vision","author":"Baumgart","year":"1975"},{"issue":"No 7","key":"10.1016\/0010-4485(91)90001-D_BIB15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/MCG.1982.1674396","article-title":"GWB: a solid modeler with Euler operators","volume":"Vol 2","author":"M\u00e4ntyl\u00e4","year":"1982","journal-title":"IEEE Comp. Graph. Appl."},{"issue":"No 3","key":"10.1016\/0010-4485(91)90001-D_BIB16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/325165.325218","article-title":"Geometric modeling of solid objects by using a face adjacency graph representation","volume":"Vol 19","author":"Ansaldi","year":"1985","journal-title":"Comput. Graph."},{"issue":"No 2","key":"10.1016\/0010-4485(91)90001-D_BIB17","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/282918.282923","article-title":"Primitives for the manipulation of general subdivisions and the computation of Vorono\u00ef diagrams","volume":"Vol 4","author":"Guibas","year":"1985","journal-title":"Trans. Graph."},{"key":"10.1016\/0010-4485(91)90001-D_BIB18","series-title":"Proc. Eurographics","first-page":"439","article-title":"Free-form surfaces modeling by evolution simulation","author":"Lienhardt","year":"1988"},{"key":"10.1016\/0010-4485(91)90001-D_BIB19","series-title":"Proc. STACS","first-page":"301","article-title":"Extension of the notion of map and subdivision of three dimensional space","author":"Lienhardt","year":"1988"},{"key":"10.1016\/0010-4485(91)90001-D_BIB20","series-title":"Proc. 5th ACM Comp. Geometry Conf.","first-page":"228","article-title":"Subdivision of N-dimensional spaces and N-dimensional generalized maps","author":"Lienhardt","year":"1989"},{"key":"10.1016\/0010-4485(91)90001-D_BIB21","series-title":"Proc. 5th ACM Symp. on Comp. Geometry","first-page":"218","article-title":"Representing geometric structures in D dimensions: topology and order","author":"Brisson","year":"1989"},{"key":"10.1016\/0010-4485(91)90001-D_BIB22","series-title":"Current Trends in Programming Methodology","first-page":"1","article-title":"An introduction to formal specifications of data abstractions","author":"Liskov","year":"1978"},{"issue":"No 1","key":"10.1016\/0010-4485(91)90001-D_BIB23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","article-title":"The algebraic specification of abstract data types","volume":"Vol 10","author":"Guttag","year":"1978","journal-title":"Acta Informatica"},{"key":"10.1016\/0010-4485(91)90001-D_BIB24","series-title":"Proc. Conf. IFIP","first-page":"809","article-title":"An introduction to the Larch shared language","author":"Guttag","year":"1983"},{"key":"10.1016\/0010-4485(91)90001-D_BIB25","series-title":"Current Trends in Progr. Method.","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implantation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/0010-4485(91)90001-D_BIB26","article-title":"Introducing OBJ3","author":"Goguen","year":"1988","journal-title":"Int. Report SRI-CSL-88-9"},{"key":"10.1016\/0010-4485(91)90001-D_BIB27","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(88)90052-5","article-title":"Modular algebraic specification of some basic geometrical constructions","volume":"Vol 37","author":"Goguen","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(91)90001-D_BIB28","first-page":"657","article-title":"Constellations et graphes topologiques","author":"Jaques","year":"1970","journal-title":"Combinatorial Theory and Applications"},{"key":"10.1016\/0010-4485(91)90001-D_BIB29","article-title":"Graph theory","author":"Tutte","year":"1984"},{"key":"10.1016\/0010-4485(91)90001-D_BIB30","article-title":"Les cartes topologiques","author":"Spehner","year":"1986","journal-title":"DEA graphique-image Lecture notes"},{"key":"10.1016\/0010-4485(91)90001-D_BIB31","article-title":"Un code pour les graphes planaires et ses applications","volume":"Vol 27","author":"Cori","year":"1975"},{"key":"10.1016\/0010-4485(91)90001-D_BIB32","article-title":"Sp\u00e9cification alg\u00e9brique et prototypage logique d'un noyau de modeleur 3-D bas\u00e9 sur les cartes","author":"Bertrand","year":"1990"},{"key":"10.1016\/0010-4485(91)90001-D_BIB33","series-title":"An Introduction to Solid Modeling","author":"M\u00e4ntyl\u00e4","year":"1988"},{"key":"10.1016\/0010-4485(91)90001-D_BIB34","series-title":"Proc. MICAD","first-page":"96","article-title":"Saisie de plans \u00e0 partir de trac\u00e9s \u00e0 main-lev\u00e9e","author":"Michelucci","year":"1984"},{"issue":"No 3","key":"10.1016\/0010-4485(91)90001-D_BIB35","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/74334.74369","article-title":"Incremental computation of planar maps","volume":"Vol 23","author":"Gangnet","year":"1989","journal-title":"Comput. Graph."},{"key":"10.1016\/0010-4485(91)90001-D_BIB36","series-title":"Proc. Comp. Graphics Int.","first-page":"649","article-title":"A digitisation algorithm for the entry of planar maps","author":"Dufourd","year":"1989"},{"key":"10.1016\/0010-4485(91)90001-D_BIB37","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-88074-1.50011-1","article-title":"Rewrite systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/0010-4485(91)90001-D_BIB38","series-title":"Proc. ACM Conf. Lisp and Funct. Prog.","first-page":"184","article-title":"A proposal for standard ML","author":"Milner","year":"1984"},{"key":"10.1016\/0010-4485(91)90001-D_BIB39","series-title":"Proc. Funct. Lang. Comp. Arch. LNCS 201","first-page":"1","article-title":"Miranda: a non-strict functional language with polymorphic types","author":"Turner","year":"1985"},{"key":"10.1016\/0010-4485(91)90001-D_BIB40","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/0010-4485(91)90001-D_BIB41","series-title":"Algebraic Specification","author":"Bergstra","year":"1988"},{"issue":"No 10","key":"10.1016\/0010-4485(91)90001-D_BIB42_1","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"Vol 12","author":"Hoare","year":"1969","journal-title":"CACM"},{"issue":"No 10","key":"10.1016\/0010-4485(91)90001-D_BIB42_2","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"Vol 12","author":"Hoare","year":"1969","journal-title":"CACM"},{"key":"10.1016\/0010-4485(91)90001-D_BIB43","series-title":"Software Development: A Rigorous Aproach","author":"Jones","year":"1980"}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859190001D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859190001D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:20:07Z","timestamp":1553631607000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/001044859190001D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["001044859190001D"],"URL":"https:\/\/doi.org\/10.1016\/0010-4485(91)90001-d","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}