{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:19Z","timestamp":1725663139836},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502142"},{"type":"electronic","value":"9783540459552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50214-9_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:17:51Z","timestamp":1330201071000},"page":"337-375","source":"Crossref","is-referenced-by-count":2,"title":["Muffin: A user interface design experiment for a Theorem Proving Assistant"],"prefix":"10.1007","author":[{"given":"Cliff B.","family":"Jones","sequence":"first","affiliation":[]},{"given":"Richard","family":"Moore","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, and C.B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251\u2013269, 1984.","journal-title":"Acta Informatica"},{"key":"24_CR2","unstructured":"I.D. Cottam, C.B. Jones, T. Nipkow, and A.C. Wills. Mule: a support system for formal specification and rigorous software development. March 1983. BCS-FACS\/SERC Conference on Program Specification and Verification, University of York, Proceedings not published."},{"key":"24_CR3","unstructured":"I.D. Cottam, C.B. Jones, T. Nipkow, A.C. Wills, M.I. Wolczko, and A. Yaghi. Project support environments for formal methods. In J. McDermid, editor, Integrated Project Support Environments, chapter 3, Peter Peregrinus Ltd., 1985."},{"key":"24_CR4","unstructured":"I.D. Cottam, C.B. Jones, T.N. Nipkow, A.C. Wills, M. Wolczko, and A. Yaghi. Mule \u2014 An Environment for Rigorous Software Development (Final Report to SERC on Grant Number GR\/C\/05762). Technical Report, Department of Computer Science, University of Manchester, 1986."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"T. Denvir. Introduction to Discrete Mathematics for Software Engineering. Macmillan Education Ltd, 1986.","DOI":"10.1007\/978-1-349-18496-5"},{"key":"24_CR6","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice Hall International, Englewood Cliffs, NJ, 1986. 300 pages."},{"key":"24_CR7","unstructured":"C.B. Jones and P.A. Lindsay. A mid-term report on FRIPSE. In R. Bloomfield and L.S. Marshall, editors, VDM\u2014The Way Ahead, page ??, Springer-Verlag, 1988. Lecture Notes in Computer Science, Vol. This!"},{"key":"24_CR8","unstructured":"Kevin D. Jones. The Muffin Prototype: Experiences with Smalltalk-80. Ipse Document 060\/00066\/1.1, August 1987. University of Manchester."},{"key":"24_CR9","unstructured":"Peter A. Lindsay. A Draft Specification of FRIPSE. Ipse Document 060\/pal017, March 1988. University of Manchester."},{"key":"24_CR10","unstructured":"Peter A. Lindsay. A Formal System with Inclusion Polymorphism. Ipse Document 060\/pal014\/2.3, December 1987. University of Manchester."},{"key":"24_CR11","unstructured":"L.S. Marshall. A Formal Description Method for User Interfaces. PhD thesis, University of Manchester, October 1986."},{"key":"24_CR12","unstructured":"Richard Moore. The Bumper FRIPSE Spec. Ipse Document 060\/00143\/2.1, June 1988. University of Manchester."},{"key":"24_CR13","unstructured":"Richard Moore. The Design of a User Interface to a Formal Reasoning System. Ipse Document 060\/rm002, July 1987. University of Manchester."},{"key":"24_CR14","unstructured":"Richard Moore. The Muffin Database. Ipse Document 060\/00060\/1.3, February 1987. University of Manchester."},{"key":"24_CR15","unstructured":"Richard Moore. The Muffin Prototype. Ipse Document 060\/00065\/1.1, June 1987. University of Manchester."},{"key":"24_CR16","unstructured":"Richard Moore. Towards a Generic Muffin. Ipse Document 060\/00140\/2.1, December 1987. University of Manchester."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"W.H. Newton-Smith. Logic: An Introductory Course. Routledge and Kegan Paul, 1985.","DOI":"10.4324\/9780203323762"},{"key":"24_CR18","unstructured":"T. Nipkow. Mule: persistence and types in an IPSE. In Persistance and Data Types, pages 1\u201325, 1986."}],"container-title":["Lecture Notes in Computer Science","VDM '88 VDM \u2014 The Way Ahead"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50214-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:29Z","timestamp":1619571269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50214-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502142","9783540459552"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50214-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}