{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:50Z","timestamp":1725662930424},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540074076"},{"type":"electronic","value":"9783540379232"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07407-4_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:57:56Z","timestamp":1330167476000},"page":"252-258","source":"Crossref","is-referenced-by-count":1,"title":["Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften"],"prefix":"10.1007","author":[{"given":"Herbert A.","family":"Klaeren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., An Algebraic Description of Programs with Assertions, Verification and Simulation, Proc. on an ACM Confr. on Proving Assertions about Programs, Las Cruces 1972, pp. 7\u201314","DOI":"10.1145\/942580.807068"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., On Homomorphisms, Correctness, Termination, Unfoldments and Equivalence of Flow Diagram Programs, JCSS Vol.8 No.3, 1974","DOI":"10.1016\/S0022-0000(74)80028-0"},{"key":"28_CR3","unstructured":"Goguen, J.A., Set-Theoretic Correctness Proofs, UCLA Comp.Sc.Dept. Reports on Semantics and Theory of Computation No.1, 1974"},{"key":"28_CR4","unstructured":"Klaeren, H.A., Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften, Berichte d.Inst.f.Angew.Math. und Informatik Bonn, Band 1 (erscheint; dort weitere Literaturang.)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Mac Lane, S., Categories \u2014 for the working mathematician, Springer 1972","DOI":"10.1007\/978-1-4612-9839-7"}],"container-title":["Lecture Notes in Computer Science","Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20\u201323, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07407-4_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:34Z","timestamp":1605625054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07407-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074076","9783540379232"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-07407-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}