{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:48Z","timestamp":1725664908265},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602712"},{"type":"electronic","value":"9783540447825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_116","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:05:30Z","timestamp":1330279530000},"page":"114-133","source":"Crossref","is-referenced-by-count":1,"title":["An algebraic proof in VDM \u2663"],"prefix":"10.1007","author":[{"given":"A. P.","family":"Hughes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Donnelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Andrew Butterfield. A VDM\u2663 Study of Fault-Tolerant Stable Storage: Towards a Computer Engineering Mathematics. In J. Woodcock and P. G. Larsen, editors, FME'93: Industrial Strength Formal Methods, Odense, Denmark, Lecture Notes in Computer Science, Volume 670, pages 216\u2013223. Springer-Verlag, 1993.","key":"8_CR1","DOI":"10.1007\/BFb0024648"},{"unstructured":"Mark Dawson and Steven Vickers. Towards a GeoZ Toolkit. Unpublished Draft Technical Report, Revision 1.3, Department of Computing, Imperial College of Science and Technology, 1994.","key":"8_CR2"},{"unstructured":"R. Goldblatt. Topoi: The Categtorical Analysis of Logic, volume 98 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984.","key":"8_CR3"},{"key":"8_CR4","volume-title":"Final Year B.A. (Mod) Computer Science Project Report","author":"Arthur P. P. Hughes","year":"1994","unstructured":"Arthur P. Hughes. Outer Laws for the Indexed Monoid. Final Year B.A. (Mod) Computer Science Project Report, Department of Computer Science, Trinity College Dublin, June 1994."},{"unstructured":"C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science, 2nd edition, 1990.","key":"8_CR5"},{"key":"8_CR6","volume-title":"PhD thesis","author":"M. Mac an Airchinnigh","year":"1990","unstructured":"M\u00edche\u00e1l Mac an Airchinnigh. Conceptual Models and Computing. PhD thesis, Department of Computer Science, Trinity College Dublin, 1990."},{"doi-asserted-by":"crossref","unstructured":"M\u00edche\u00e1l Mac an Airchinnigh. Tutorial Lecture Notes on the Irish School of the VDM. In S. Prehn and W. J. Toetenel, editor, VDM'91: Formal Software Development Methods, Volume 2: Tutorials, Lecture Notes in Computer Science, Volume 552, pages 141\u2013237. Springer-Verlag, 1991.","key":"8_CR7","DOI":"10.1007\/BFb0019997"},{"key":"8_CR8","volume-title":"Tutorial Notes: 6th International Software Quality Week","author":"M. Mac an Airchinnigh","year":"1993","unstructured":"M\u00edche\u00e1l Mac an Airchinnigh. Formal Methods and Testing. In Tutorial Notes: 6th International Software Quality Week. Software Research Institute, 625 Third Street, San Fancisco, CA 94107-1997., 1993."},{"doi-asserted-by":"crossref","unstructured":"Colman Reilly. Exploring Specifications with Mathematica. In J.P. Bowen & M.G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users (this volume), Lecture Notes in Computer Science, Springer-Verlag, 1995.","key":"8_CR9","DOI":"10.1007\/3-540-60271-2_133"},{"unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.","key":"8_CR10"},{"key":"8_CR11","volume-title":"Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods","author":"Steven J. J. Vickers","year":"1994","unstructured":"Steven J. Vickers. Geometric Logic as a Specification Language. Unpublished Draft Technical Report, Revision 1.2.1 Theory and Formal Methods 1994: Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Moller Centre, Cambridge, UK., September 1994."}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_116.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:26Z","timestamp":1619573726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_116","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}