{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:10Z","timestamp":1742617090174,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:09Z","timestamp":1330193529000},"page":"12-26","source":"Crossref","is-referenced-by-count":1,"title":["Combining algebraic and predicative specifications in Larch"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Horning","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"2_CR1","volume-title":"Current Trends in Programming Methodology, Vol. IV, Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"J. A. Goguen, J. W. Thatcher, and E. G. Wagner, \u201cInitial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types,\u201d In R. T. Yeh (ed.), Current Trends in Programming Methodology, Vol. IV, Data Structuring, Prentice-Hall, Englewood Cliffs, 1978."},{"key":"2_CR2","unstructured":"R. M. Burstall and J. A. Goguen, \u201cPutting Theories Together to Make Specifications,\u201d Proc. 5th International Joint Conference on Atificial Intelligence, Cambridge, MA, 1977, 1045\u20131058."},{"key":"2_CR3","first-page":"185","volume-title":"The Correctness Problem in Computer Science","author":"R. M. Burstall","year":"1981","unstructured":"\u2014, \u201cAn Informal Introduction to Specifications Using CLEAR,\u201d in R. Boyer and J. Moore (eds.), The Correctness Problem in Computer Science, Academic Press, New York, 1981, 185\u2013213."},{"key":"2_CR4","unstructured":"R. Forgaard, \u201cA Program for Generating and Analyzing Term Rewriting Systems,\u201d S.M. Thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, MIT\/LCS\/TR-99, 1984."},{"key":"2_CR5","unstructured":"J. V. Guttag, \u201cThe Specification and Application to Programming of Abstract Data Types,\u201d Ph.D. Thesis, Computer Science Department, University of Toronto, 1975."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"\u2014 and J. J. Horning, \u201cFormal Specification as a Design Tool,\u201d Proc. ACM Symposium on Principles of Programming Languages, Las Vegas, Jan. 1980, 251\u2013261.","DOI":"10.1145\/567446.567471"},{"key":"2_CR7","unstructured":"\u2014, \u201cPreliminary Report on the Larch Shared Language,\u201d Technical Report MIT\/LCS\/TR-307 and Xerox PARC CSL-83-6, 1983."},{"key":"2_CR8","unstructured":"\u2014, \u201cReport on the Larch Shared Language,\u201d Science of Computer Programming, to appear."},{"key":"2_CR9","unstructured":"\u2014, \u201cA Larch Shared Language Handbook,\u201d Science of Computer Programming, to appear."},{"key":"2_CR10","unstructured":"\u2014, \u201cAn Overview of the Larch Family of Specification Languages,\u201d in draft."},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0167-6423(82)90004-1","volume":"2","author":"J. V. Guttag","year":"1982","unstructured":"\u2014, and J. M. Wing, \u201cSome Notes on Putting Formal Specifications to Productive Use,\u201d Science of Computer Programming, vol. 2, Dec. 1982, 53\u201368.","journal-title":"Science of Computer Programming"},{"key":"2_CR12","unstructured":"\u2014, \u201cPreliminary Report on the Larch\/CLU Interface Language,\u201d in draft."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E. C. R. R. Hehner","year":"1984","unstructured":"E. C. R. Hehner, \u201cPredicative Programming, Parts I and II,\u201d Comm. ACM, vol. 27, Feb. 1984, 134\u2013151.","journal-title":"Comm. ACM"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"P. Lescanne, \u201cComputer Experiments with the REVE Term Rewriting System Generator,\u201d Proc. ACM Symposium on Principles of Programming Languages, Austin, Jan. 1983, 99\u2013108.","DOI":"10.1145\/567067.567078"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","volume":"1","author":"D. R. Musser","year":"1980","unstructured":"D. R. Musser, \u201cAbstract Data Type Specification in the Affirm System,\u201d IEEE Transactions on Software Engineering, vol. 1, 1980, 24\u201332.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR16","unstructured":"Proc. Workshop on Combining Specification Methods, Nyborg, May 1984, Springer-Verlag."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. Wand, \u201cFinal Algebra Semantics and Data Type Extensions,\u201d Journal of Computer and System Sciences, vol. 19, 1979, 27\u201344.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR18","unstructured":"J. M. Wing, \u201cA Two-Tiered Approach to Specifying Programs,\u201d Ph.D. Thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, MIT\/LCS\/TR-299, May 1983."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:21:20Z","timestamp":1742588480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}