{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:48Z","timestamp":1725663588803},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194224"},{"type":"electronic","value":"9783540392644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19422-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:09:22Z","timestamp":1330200562000},"page":"206-218","source":"Crossref","is-referenced-by-count":3,"title":["Development of several reachability algorithms for directed graphs"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Ehler","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Zierer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0014649","volume-title":"Program construction","author":"F. L. Bauer","year":"1979","unstructured":"Bauer F. L.: Program development by stepwise transformation \u2014 the project CIP. In: Bauer F. L., Broy M. (eds.): Program construction. Lecture Notes in Computer Science 69. Springer: Berlin-Heidelberg-New York (1979)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"The Munich project CIP. Volume I: The wide spectrum language CIP-L","author":"F. L. Bauer","year":"1985","unstructured":"Bauer F. L. et al.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183. Springer: Berlin-Heidelberg-New York (1985)"},{"key":"16_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F. L. Bauer","year":"1981","unstructured":"Bauer F. L., W\u00f6ssner H.: Algorithmische Sprache und Programmentwicklung. Springer: Berlin-Heidelberg-New York (1981); engl. translation: Algorithmic Language and Program Development. Springer: Berlin-Heidelberg-New York (1982)"},{"key":"16_CR4","unstructured":"Berghammer R.: Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation. Dissertation, Institut f\u00fcr Informatik, TU M\u00fcnchen, TUM-18403 (1984)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1145\/1780.1781","volume":"6","author":"R. Bird","year":"1984","unstructured":"Bird R.: The promotion and accumulation strategies in transformational programming. ACM TOPLAS 6, 487\u2013504 (1984)","journal-title":"ACM TOPLAS"},{"key":"16_CR6","unstructured":"Broy M., Gnatz R., Wirsing M.: Problemspezifikation \u2014 eine Grundlage f\u00fcr Programmentwicklung. Proc. of a Workshop on Reliable Software, Hanser: M\u00fcnchen, 235\u2013246 (1979)"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall R. M., Darlington J.: A transformation system for developing recursive programs. JACM 24, 44\u201367 (1977)","journal-title":"JACM"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"D. C. Cooper","year":"1966","unstructured":"Cooper D. C.: The equivalence of certain computations. Computer J. 9, 45\u201352 (1966)","journal-title":"Computer J."},{"key":"16_CR9","unstructured":"Hussmann H.: Rapid prototyping for algebraic specifications \u2014 RAP System user's manual. Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1986)"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R. Paige","year":"1982","unstructured":"Paige R., Koenig S.: Finite differencing of computable expressions. ACM TOPLAS 4, 3, 402\u2013454 (1982)","journal-title":"ACM TOPLAS"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1137\/1020067","volume":"20","author":"R. E. Tarjan","year":"1978","unstructured":"Tarjan R. E.: Complexity of combinatorial algorithms. SIAM Review 20, 3, 457\u2013491 (1978)","journal-title":"SIAM Review"}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19422-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:20:57Z","timestamp":1619558457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19422-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194224","9783540392644"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19422-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}