{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:46Z","timestamp":1725456106325},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022517","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"362-374","source":"Crossref","is-referenced-by-count":9,"title":["A simple class of algorithmic specifications for abstract software modules"],"prefix":"10.1007","author":[{"given":"Herbert A.","family":"Klaeren","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"H.D. Ehrich Extensions and Implementations of Abstract Data Type Specifications VIIth MFCS, 1978, Pp. 155\u2013164.","DOI":"10.1007\/3-540-08921-7_64"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, P. Padawitz Stepwise Specification and Implementation of Abstract Data Types Vth ICALP, Udine, 1978.","DOI":"10.1007\/3-540-08860-1_16"},{"key":"26_CR3","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types IBM Research Report, RC 6487, 1976."},{"key":"26_CR4","unstructured":"H. Klaeren Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Dissertation, RWTH Aachen, 1980."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright Data Type Specification: Parameterization and the Power of Specification Techniques 10th STOC, 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\/BFb0022517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:20:55Z","timestamp":1586578855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0022517","relation":{},"subject":[]}}