{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T13:56:15Z","timestamp":1672235775265},"reference-count":35,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1980,8,1]],"date-time":"1980-08-01T00:00:00Z","timestamp":333936000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T00:00:00Z","timestamp":1376697600000},"content-version":"vor","delay-in-days":12069,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1980,8]]},"DOI":"10.1016\/0022-0000(80)90038-0","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T12:01:00Z","timestamp":1070539260000},"page":"1-23","source":"Crossref","is-referenced-by-count":9,"title":["On the algebra of order"],"prefix":"10.1016","volume":"21","author":[{"given":"Daniel J.","family":"Lehmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(80)90038-0_BIB1","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0004972700010704","article-title":"Colimits of algebras revisited","volume":"17","author":"Adamek","year":"1977","journal-title":"Bull. Austral. Math. Soc."},{"key":"10.1016\/0022-0000(80)90038-0_BIB2","series-title":"Category Theory Applied to Computation and Control","article-title":"Basic concepts of category theory applicable to computation and control","author":"Arbib","year":"1974"},{"key":"10.1016\/0022-0000(80)90038-0_BIB3","series-title":"Category Theory Applied to Computation and Control","article-title":"A categorist's view of automata and systems","author":"Arbib","year":"1974"},{"key":"10.1016\/0022-0000(80)90038-0_BIB4","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01898828","article-title":"Categorical characterization of the MacNeille completion","volume":"18","author":"Banaschewski","year":"1967","journal-title":"Arch. Math."},{"key":"10.1016\/0022-0000(80)90038-0_BIB5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF01111838","article-title":"Coequalizers and free triples","volume":"116","author":"Barr","year":"1970","journal-title":"Math. Z."},{"key":"10.1016\/0022-0000(80)90038-0_BIB6","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","article-title":"Varieties of ordered algebras","volume":"13","author":"Bloom","year":"1976","journal-title":"J. Comput. Systems Sci."},{"key":"10.1016\/0022-0000(80)90038-0_BIB7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","article-title":"Proving properties of programs by structural induction","volume":"12","author":"Burstall","year":"1969","journal-title":"Comput. J."},{"key":"10.1016\/0022-0000(80)90038-0_BIB8","series-title":"Proc. IFIP Congress","first-page":"308","article-title":"Program proving as hard simulation with a little induction","author":"Burstall","year":"1974"},{"key":"10.1016\/0022-0000(80)90038-0_BIB9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0304-3975(76)90029-3","article-title":"Computability concepts for programming language semantics","volume":"2","author":"Egli","year":"1976","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0022-0000(80)90038-0_BIB10","series-title":"Proceedings, 17th Annual Symposium on F.O.C.S.","article-title":"Algebraic families of interpretations","author":"Courcelle","year":"1976"},{"key":"10.1016\/0022-0000(80)90038-0_BIB11","article-title":"The Algebraic Semantics of Recursive Program Schemes","author":"Courcelle","year":"1978","journal-title":"I.R.I.A. Laboria Report 300"},{"key":"10.1016\/0022-0000(80)90038-0_BIB12","unstructured":"B. Courcelle and J. C. Raoult, Completions of ordered magmas, Fund. Inform., in press."},{"key":"10.1016\/0022-0000(80)90038-0_BIB13","series-title":"Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure","first-page":"89","article-title":"Abstract data types as initial algebras and correctness of data representations","author":"Goguen","year":"1975"},{"key":"10.1016\/0022-0000(80)90038-0_BIB14","series-title":"IBM Research Report RC-6487","article-title":"An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types","author":"Goguen","year":"1976"},{"issue":"No. 1","key":"10.1016\/0022-0000(80)90038-0_BIB15","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","article-title":"Initial algebra sematics and continuous algebras","volume":"24","author":"Goguen","year":"1977","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(80)90038-0_BIB16","series-title":"Expos\u00e9 190 S\u00e9minaire Bourbaki, Dec. 1969","article-title":"Technique de descents et th\u00e9oremes d'existence en g\u00e9om\u00e9trie alg\u00e9brique","author":"Grothendieck","year":"1969"},{"key":"10.1016\/0022-0000(80)90038-0_BIB17","article-title":"Equivalences s\u00e9mantiques et Familles d'Interpr\u00e9tations","author":"Guessarian","year":"1975"},{"key":"10.1016\/0022-0000(80)90038-0_BIB18","article-title":"The Specification and Application to Programming of Abstract Data Types","author":"Guttag","year":"1975"},{"key":"10.1016\/0022-0000(80)90038-0_BIB19","doi-asserted-by":"crossref","DOI":"10.21236\/ADA029896","article-title":"Abstract Data Types and Software Validation","author":"Guttag","year":"1976"},{"key":"10.1016\/0022-0000(80)90038-0_BIB20","series-title":"Category Theory","author":"Herrlich","year":"1973"},{"key":"10.1016\/0022-0000(80)90038-0_BIB21","series-title":"Proceedings, 18th Annual Symp. on F.O.C.S.","first-page":"7","article-title":"Data types","author":"Lehmann","year":"1977"},{"key":"10.1016\/0022-0000(80)90038-0_BIB22","doi-asserted-by":"crossref","unstructured":"D. J. Lehmann and M. B. Smyth, Algebraic specification of data types: a synthetic approach, Math. Systems Theory, in press.","DOI":"10.1007\/BF01752392"},{"key":"10.1016\/0022-0000(80)90038-0_BIB23","series-title":"Seminar on triples and categorical Homology Theory","first-page":"75","article-title":"Coequalizers in categories of algebras","author":"Linton","year":"1969"},{"key":"10.1016\/0022-0000(80)90038-0_BIB24","series-title":"Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"issue":"No. 2","key":"10.1016\/0022-0000(80)90038-0_BIB25","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(77)90031-7","article-title":"Categories of chain-complete posets","volume":"4","author":"Markowsky","year":"1977","journal-title":"Theoret. Comput. Sci."},{"issue":"No. 2","key":"10.1016\/0022-0000(80)90038-0_BIB26","doi-asserted-by":"crossref","DOI":"10.1147\/rd.202.0138","article-title":"Bases for chain-complete posets","volume":"20","author":"Markowsky","year":"1976","journal-title":"IBM J. Res. Develop."},{"key":"10.1016\/0022-0000(80)90038-0_BIB27","series-title":"Computer Programming and Formal Systems","first-page":"33","article-title":"A basis for a mathematical theory of computation","author":"McCarthy","year":"1963"},{"key":"10.1016\/0022-0000(80)90038-0_BIB28","series-title":"Fundamentals of Computation Theory","first-page":"294","article-title":"On order-complete universal algebra and enriched functorial semantics","author":"Meseguer","year":"1977"},{"key":"10.1016\/0022-0000(80)90038-0_BIB29","unstructured":"J. Meseguer, Order-continuous algebras and program semantics, in \u201cProceedings 1977 Category meeting, Mathematisches Forschungsinstitut Oberwolfach.\u201d"},{"key":"10.1016\/0022-0000(80)90038-0_BIB30","unstructured":"D. Scott, Personal communication (1978)."},{"issue":"No. 3","key":"10.1016\/0022-0000(80)90038-0_BIB31","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","article-title":"Effectively given domains","volume":"5","author":"Smyth","year":"1977","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0022-0000(80)90038-0_BIB32","series-title":"Proceedings, 10th Annual symposium on Theory of Computing","article-title":"Data type specification: parametrization and the power of specification techniques","author":"Thatcher","year":"1978"},{"issue":"1","key":"10.1016\/0022-0000(80)90038-0_BIB33","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0304-3975(79)90053-7","article-title":"Fixed-point constructions in order-enriched categories","volume":"8","author":"Wand","year":"1979","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0022-0000(80)90038-0_BIB34","article-title":"Final Algebra Semantics and Data Type Extensions","author":"Wand","year":"1977"},{"issue":"1","key":"10.1016\/0022-0000(80)90038-0_BIB35","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(78)90040-3","article-title":"A uniform approach to inductive posets and inductive closure","volume":"7","author":"Wright","year":"1978","journal-title":"Theoret. Sci."}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000080900380?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000080900380?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:29:30Z","timestamp":1550323770000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0022000080900380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,8]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1980,8]]}},"alternative-id":["0022000080900380"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(80)90038-0","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1980,8]]}}}