{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171976},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022528","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:49:12Z","timestamp":1132706952000},"page":"504-514","source":"Crossref","is-referenced-by-count":20,"title":["Initially \u2014 Restricting algebraic theories"],"prefix":"10.1007","author":[{"given":"H.","family":"Reichel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"Goguen,J.A., Thatcher,J.W., Wagner,E.G., Wright,J.B.: Abstract Data Types as Initial Algebras and the Correctness of Data Representations, in Proc. Confr. on Computer Graphics, Pattern Recognition, and Data Structure (Beverly Hills, CA.) 1975, pp. 89\u201393"},{"key":"37_CR2","unstructured":"Benecke,K.: Signaturketten und Operations-und Mengenformen \u00fcber Signaturketten, Dissertation A, TH \u2018Otto von Guericke\u2019 Magdeburg, 1979"},{"key":"37_CR3","unstructured":"Burstall,R.M., Goguen,J.A.: Putting theories together to make specifications, Proc. Fifth Int. Joint Comp. On Artificial Intelligence, MIT (Cambridge,Mass)"},{"key":"37_CR4","unstructured":"Ehrich,H.-D.: On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, Forschungsbericht Dortmund, 1978"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig,H., Kreowski,H.-J., Padawitz,P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5. Int. Colloq. on Automata, Languages and Programming, Udine, 1978","DOI":"10.1007\/3-540-08860-1_16"},{"key":"37_CR6","doi-asserted-by":"crossref","first-page":"399","DOI":"10.4153\/CJM-1956-045-5","volume":"8","author":"L.R. Ford","year":"1956","unstructured":"Ford, L.R., Fulkerson, D.R.: Maximal flow through a network, Canadian J. of Math., 8 (1956), pp. 399","journal-title":"Canadian J. of Math."},{"key":"37_CR7","unstructured":"Goguen,J.A., Tardo,J.: OBJ-O Preliminary Users Manual, UCLA, Semantics and Theory of Computation Report, No. 10, 1977"},{"key":"37_CR8","volume-title":"An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications","author":"J.A. Goguen","year":"1979","unstructured":"Goguen, J.A., Tardo, J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications, UCLA, Los Angeles, 1979"},{"key":"37_CR9","volume-title":"Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen","author":"U. Hupbach","year":"1980","unstructured":"Hupbach, U., Kaphengst, H., Reichel, H.: Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen, VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, WIB, 1980"},{"key":"37_CR10","unstructured":"Hupbach,U.: A Uniform Mathematical Framwork for Initial Algebraic Specifications, VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, Preprint, 1979"},{"key":"37_CR11","unstructured":"Kaphengst,H., Reichel,H.: Algebraische Algorithmentheorie, VEB Robotron, Zentrum f\u00fcr Forschung und Technik,Dresden, WIB Nr.1, 1971"},{"key":"37_CR12","volume-title":"Operative Theorien und Kategorien von operativen Systemen, in Studien zur Algebra und ihren Anwendungen","author":"H. Kaphengst","year":"1972","unstructured":"Kaphengst, H., Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, in Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin, 1972"},{"key":"37_CR13","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A.,50,1963, pp. 869\u2013872","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"37_CR14","unstructured":"Musser, D.R.: Abstract Data Types in the AFFIRM System, Proc. IEEE Conf. on Specification of Reliable Software, Cambridge, Mass., April 1979"},{"key":"37_CR15","volume-title":"Theorie der \u00c4quoide","author":"H. Reichel","year":"1979","unstructured":"Reichel, H.: Theorie der \u00c4quoide, Dissertation B, Humboldt Universit\u00e4t, Berlin, 1979"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., Wagner,E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978","DOI":"10.1145\/800133.804340"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:21:50Z","timestamp":1586564510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0022528","relation":{},"subject":[]}}