{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T00:29:28Z","timestamp":1745281768660},"publisher-location":"London","reference-count":6,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198796"},{"type":"electronic","value":"9781447132363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_1","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T04:23:05Z","timestamp":1322108585000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["The Boom Hierarchy"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bunkenburg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Roland Backhouse. An exploration of the Bird-Meertens Formalism. International Summerschool on Constructive Algorithmics, Ameland 1989, September 1989."},{"key":"1_CR2","unstructured":"Richard S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume F36 of NATO ASI Series. Springer Verlag, 1986."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Paul F. Hoogendijk. (Relational) Programming Laws in Boom Hierarchy of Types, volume 669 of Lecture Notes in Computing Science. Springer, June\/July 1992.","DOI":"10.1007\/3-540-56625-2_13"},{"key":"1_CR4","unstructured":"Johan Jeuring. Theories for algorithm calculation. Lecture Notes of the STOP Summerschool on Constructive Algorithmics, 1, September 1992."},{"key":"1_CR5","volume-title":"Calder\u2019s Universe","author":"J Lipman","year":"1976","unstructured":"Jean Lipman. Calder\u2019s Universe. Harrison House, New York, 1976."},{"key":"1_CR6","unstructured":"Lambert Meertens. Algorithmics \u2014 towards programming as a mathematical activity. Mathematics and Computer Science, 1, 1986. CWI Monographs (J. W. de Bakker, M. Hazewinkel, J. K. Lenstra, eds.) North Holland, Puhl. Co."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3236-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:33:04Z","timestamp":1560976384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}