{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:08Z","timestamp":1761596708800},"reference-count":19,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6621,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1016\/0167-6423(95)00004-c","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T15:32:00Z","timestamp":1049729520000},"page":"221-248","source":"Crossref","is-referenced-by-count":7,"title":["On regularity in software design"],"prefix":"10.1016","volume":"24","author":[{"given":"R.","family":"Banach","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(95)00004-C_BIB1","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0304-3975(94)90086-8","article-title":"Regular relations and bicartesian squares","volume":"129","author":"Banach","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(95)00004-C_BIB2","unstructured":"A. Carboni, G.M. Kelly and M.C. Pedicchio, Some remarks on Mal'cev and Goursat Categories, Sydney School of Mathematics and Statistics Report Vol. 93, Applied Categorical Structures, to appear."},{"key":"10.1016\/0167-6423(95)00004-C_BIB3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.24033\/asens.317","article-title":"Sur les Subsitutions Orthogonales","volume":"3","author":"Goursat","year":"1889","journal-title":"Ann. Sci. \u00c9c. Norm. Sup."},{"key":"10.1016\/0167-6423(95)00004-C_BIB4","series-title":"Specification Case Studies","author":"Hayes","year":"1993"},{"key":"10.1016\/0167-6423(95)00004-C_BIB5","first-page":"320","article-title":"Specifications are not (necessarily) executable","volume":"4","author":"Hayes","year":"1989","journal-title":"IEE Software Eng. J."},{"key":"10.1016\/0167-6423(95)00004-C_BIB6","author":"Hayes","year":"1993","journal-title":"Refinement with input\/output transformations, Working paper"},{"key":"10.1016\/0167-6423(95)00004-C_BIB7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(91)90335-Y","article-title":"Regularity of relations: a measure of uniformity","volume":"79","author":"Jaoua","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(95)00004-C_BIB8","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/0167-6423(95)00004-C_BIB9","series-title":"Case Studies in Systematic Software Development","author":"Jones","year":"1990"},{"key":"10.1016\/0167-6423(95)00004-C_BIB10","first-page":"3","article-title":"On the general theory of algebraic systems","volume":"35","author":"Mal'cev","year":"1954","journal-title":"Mat. Sbornik N. S."},{"key":"10.1016\/0167-6423(95)00004-C_BIB11","series-title":"An Introduction to Program Fault Tolerance","author":"Mili","year":"1990"},{"key":"10.1016\/0167-6423(95)00004-C_BIB12","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1002\/spe.4380161105","article-title":"Specification methodology: an integrated relational approach","volume":"16","author":"Mili","year":"1986","journal-title":"Software Practice Experience"},{"key":"10.1016\/0167-6423(95)00004-C_BIB13","author":"Parnas","year":"1992"},{"key":"10.1016\/0167-6423(95)00004-C_BIB14","series-title":"Discrete Mathematics","author":"Ross","year":"1992"},{"key":"10.1016\/0167-6423(95)00004-C_BIB15","series-title":"Relations and Graphs, Discrete Mathematics for Computer Scientists","author":"Schmidt","year":"1993"},{"key":"10.1016\/0167-6423(95)00004-C_BIB16","author":"Spivey","year":"1993"},{"key":"10.1016\/0167-6423(95)00004-C_BIB17_1","series-title":"Axiomatic Set Theory","author":"Suppes","year":"1960"},{"key":"10.1016\/0167-6423(95)00004-C_BIB17_2","year":"1972"},{"key":"10.1016\/0167-6423(95)00004-C_BIB18","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"J. Symbolic Logic"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239500004C?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239500004C?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T23:54:48Z","timestamp":1555458888000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764239500004C"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["016764239500004C"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(95)00004-c","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}