fourman.bib

@PHDTHESIS{fourman74connections,
  AUTHOR = {Michael Paul Fourman},
  TITLE = {Connections between category theory and logic},
  SCHOOL = {Oxford University},
  YEAR = {1974},
  MONTH = {November},
  PAGES = {v + 102},
  NOTE = {D.Phil. Thesis},
  ADDRESS = {Linacre College, Oxford}
}

@MISC{fourman75,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Sheaf models for set theory},
  HOWPUBLISHED = {Tagungsbericht Oberwolfach},
  NOTE = {(abstract)},
  MONTH = {July},
  YEAR = {1975}
}

@ARTICLE{fourman77a,
  AUTHOR = {Michael P. Fourman},
  TITLE = {The logic of topoi and sheaves},
  NOTE = {(abstract)},
  JOURNAL = {Journal of Symbolic Logic},
  VOLUME = {42},
  NUMBER = {1},
  YEAR = {1977},
  PAGES = {138--139}
}

@ARTICLE{fourman77b,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Comparaison des r\'eeles d'un topos; structures lisses sur un topos 
\'{e}l\'{e}mentaire},
  JOURNAL = {Cah. G\'{e}om. Top. Diff.},
  YEAR = {1977},
  VOLUME = {16},
  NUMBER = {3},
  PAGES = {233--239}
}

@INCOLLECTION{fourman77,
  AUTHOR = {Michael P. Fourman},
  TITLE = {The logic of topoi},
  BOOKTITLE = {Handbook of Mathematical Logic},
  PUBLISHER = {North-Holland},
  CHAPTER = {D-6},
  YEAR = {1977},
  EDITOR = {Jon Barwise},
  PAGES = {1053--1090},
  ISBN = {0-7204-2285-X}
}

@ARTICLE{fourman77d,
  AUTHOR = {Michael P. Fourman and C. Rousseau},
  TITLE = {Parameters in complex analysis and the logic of topoi},
  NOTE = {(abstract)},
  JOURNAL = {Journal of Symbolic Logic},
  VOLUME = {42},
  NUMBER = {3},
  YEAR = {1977},
  PAGES = {499}
}

@ARTICLE{fourman77e,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Approximation Sheaves as internal Banach-Spaces},
  NOTE = {(abstract) 77T-B67},
  PAGES = {A-224},
  JOURNAL = {Notices Amer. Math. Soc.},
  VOLUME = {24},
  NUMBER = {2},
  YEAR = {1977}
}

@ARTICLE{fourman77f,
  AUTHOR = {Michael P. Fourman},
  TITLE = {A representation for internal sober spaces},
  NOTE = {(abstract) 77T-G48},
  PAGES = {A-301},
  JOURNAL = {Notices Amer. Math. Soc.},
  VOLUME = {24},
  NUMBER = {3},
  YEAR = {1977}
}

@MISC{fourman77g,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Formal Spaces},
  HOWPUBLISHED = {Tagungsbericht Oberwolfach},
  NOTE = {(abstract)},
  MONTH = {August},
  YEAR = {1977}
}

@PROCEEDINGS{fourman79,
  TITLE = {Applications of Sheaves},
  YEAR = {1979},
  EDITOR = {M. Fourman and C. Mulvey and D. Scott},
  NUMBER = {753},
  SERIES = {LNM},
  PUBLISHER = {Springer},
  NOTE = {}
}

@INPROCEEDINGS{fourman79a,
  AUTHOR = {Michael P. Fourman and Dana S. Scott},
  TITLE = {Notes on Sheaves and Logic},
  BOOKTITLE = {Applications of Sheaves},
  EDITOR = {Fourman and Mulvey and Scott},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1979},
  PAGES = {302-401},
  NOTE = {Lecture Notes in Mathematics 753}
}

@INPROCEEDINGS{fourman79b,
  AUTHOR = {Michael P. Fourman and J.M.E. Hyland},
  TITLE = {Sheaf Models for Analysis},
  BOOKTITLE = {Applications of Sheaves},
  EDITOR = {Fourman and Mulvey and Scott},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1979},
  PAGES = {280-301},
  NOTE = {Lecture Notes in Mathematics 753}
}

@ARTICLE{fourman80,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Sheaf Models for Set Theory},
  PAGES = {91-101},
  JOURNAL = {Journal of Pure and Applied Alegebra},
  VOLUME = {19},
  YEAR = {1980}
}

@ARTICLE{fourman81,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Continuous Truth},
  NOTE = {(abstract) 81-T-03-135},
  JOURNAL = {Abstracts Amer. Math. Soc.},
  YEAR = {1981}
}

@ARTICLE{fourman82a,
  AUTHOR = {Michael P. Fourman and A.Scedrov},
  TITLE = {The ``World's Simplest Axiom of Choice'' fails},
  PAGES = {325-332},
  JOURNAL = {Manuscripta Mathematica},
  VOLUME = {38},
  YEAR = {1982}
}

@ARTICLE{fourman82b,
  AUTHOR = {Michael P. Fourman},
  TITLE = {A model for the theory of choice sequences (CS)},
  NOTE = {(abstract) 82-T-03-80},
  PAGES = {183},
  JOURNAL = {Abstracts Amer. Math. Soc.},
  YEAR = {1982}
}

@INPROCEEDINGS{fourman82c,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Notions of Choice Sequence},
  BOOKTITLE = {L.E.J. Brouwer Centenary Symposium},
  EDITOR = {D. van Dalen and A. Troelstra},
  PUBLISHER = {North-Holland},
  YEAR = {1982},
  PAGES = {91--105}
}

@INPROCEEDINGS{fourman82d,
  AUTHOR = {Michael P. Fourman and R.J. Grayson},
  TITLE = {Formal Spaces},
  BOOKTITLE = {L.E.J. Brouwer Centenary Symposium},
  EDITOR = {D. van Dalen and A. Troelstra},
  PUBLISHER = {North-Holland},
  YEAR = {1982},
  PAGES = {107--122}
}

@ARTICLE{fourman83,
  AUTHOR = {Michael P. Fourman},
  TITLE = {T1 spaces over topological sites},
  PAGES = {223-224},
  JOURNAL = {J. Pure and Applied Algebra},
  VOLUME = {27},
  YEAR = {1983}
}

@INPROCEEDINGS{fourman84a,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Continuous truth {I}, Non-constructive objects},
  BOOKTITLE = {Proc. Logic Colloquium, Florence 1982},
  EDITOR = {G. Lolli and G. Longo and A. Marcja},
  SERIES = {Stud. Logic Found. Math. 112},
  PUBLISHER = {Elsevier Science Publishers B.V. (North-Holland)},
  YEAR = {1984},
  PAGES = {161-180}
}

@ARTICLE{fourman84b,
  AUTHOR = {Michael P. Fourman and P.Freyd and A.Scedrov},
  TITLE = {Toposes and modal logic},
  PAGES = {1443},
  JOURNAL = {J. Symbolic Logic},
  VOLUME = {49},
  YEAR = {1984},
  NOTE = {Abstracts of the 1983-84 A.S.L. Annual Meeting}
}

@ARTICLE{fourman85a,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Evolving Layout},
  JOURNAL = {I.E.E. Digest},
  PAGES = {3/1--3/4},
  VOLUME = {41},
  YEAR = {1985},
  NOTE = {Colloquium on VLSI Design Methodologies}
}

@INPROCEEDINGS{fourman85b,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Compaction of Symbolic Layout using Genetic Algorithms},
  BOOKTITLE = {Proc. International Conference on Genetic Algorithms and their Applications},
  EDITOR = {J.J. Grefenstette},
  ADDRESS = {Pittsburgh},
  YEAR = {1985},
  PAGES = {141--153}
}

@INPROCEEDINGS{fourman85c,
  AUTHOR = {Michael P. Fourman and C.M. Fourman and G. Musgrave and A.P. Ambler},
  TITLE = {An approach to hardware description for the VIDA},
  BOOKTITLE = {Proc. Silicon Design Conference},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  YEAR = {1985},
  PAGES = {67--85}
}

@INPROCEEDINGS{fourman86a,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Strategies for redundancy in {WSI}},
  BOOKTITLE = {Proc. International Workshop on Wafer-Scale Integration},
  EDITOR = {C. Jessop and W. Moore},
  PUBLISHER = {Adam Hilger},
  ADDRESS = {Boston},
  YEAR = {1986},
  PAGES = {72-81}
}

@INPROCEEDINGS{fourman86b,
  AUTHOR = {Michael P. Fourman and S. Vickers},
  TITLE = {Theories as Categories},
  BOOKTITLE = {Category Theory and Computer Programming},
  EDITOR = {Pitt and Abramsky and Poign\'{e} and Rydeheard},
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {Berlin},
  YEAR = {1986},
  PAGES = {434--448},
  NOTE = {Lecture Notes in Computer Science 240}
}

@INPROCEEDINGS{fourman86c,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Verification using Higher-order Specifications and Transformations},
  BOOKTITLE = {Proc. Silicon Design Conference},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  MONTH = {July},
  YEAR = {1986}
}

@INPROCEEDINGS{fourman87a,
  AUTHOR = {Michael P. Fourman and R.M. Zimmer},
  TITLE = {Modular Design as Algebraic Composition},
  BOOKTITLE = {Intelligent CAD Systems I: Theoretical and Methodological Aspects},
  EDITOR = {P.J.W. Ten Hagen and T. Tomiyama},
  PUBLISHER = {Springer-Verlag},
  ADDRESS = {Berlin},
  YEAR = {1987},
  PAGES = {176--185},
  NOTE = {Proceedings Eurographics Workshop on Intelligent CAD}
}

@INPROCEEDINGS{fourman87b,
  AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer},
  TITLE = {Using Higher-Order Functions to Describe Hardware},
  BOOKTITLE = {Electronic Design Automation},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  YEAR = {1987},
  PAGES = {87--94}
}

@INPROCEEDINGS{fourman87c,
  AUTHOR = {Michael P. Fourman and R. Holte and W.J. Palmer and R.M. Zimmer},
  TITLE = {Top-down Design as Bottom-up Proof},
  BOOKTITLE = {Electronic Design Automation},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  YEAR = {1987},
  PAGES = {617--628}
}

@INPROCEEDINGS{fourman87d,
  AUTHOR = {Michael P. Fourman and R. Harris and G. Musgrave},
  TITLE = {Core Tools for the Next Generation of Electronics {CAD}},
  BOOKTITLE = {Electronic Design Automation},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  YEAR = {1987},
  PAGES = {335--340}
}

@INPROCEEDINGS{fourman88a,
  AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer},
  TITLE = {Core Tools for the Next Generation of Electronics {CAD}},
  BOOKTITLE = {Alvey Technical Conference},
  ADDRESS = {Swansea},
  YEAR = {1988},
  PAGES = {428--430}
}

@INPROCEEDINGS{fourman88b,
  AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer},
  TITLE = {Proof and Synthesis},
  BOOKTITLE = {International Conference on Circuit Design},
  ADDRESS = {Rye, New York},
  YEAR = {1988},
  PAGES = {600--603}
}

@INPROCEEDINGS{fourman88c,
  AUTHOR = {Michael P. Fourman and R. Holte and W.J. Palmer and R.M. Zimmer},
  TITLE = {Interactive Behavioural Synthesis},
  BOOKTITLE = {Electronic Design Automation},
  EDITOR = {A.P. Ambler},
  ADDRESS = {Wembley},
  YEAR = {1988},
  PAGES = {317--329}
}

@INPROCEEDINGS{fourman89,
  AUTHOR = {M.P. Fourman and Eleanor M. Mayger},
  TITLE = {Formally based systems design---{I}nteractive hardware scheduling},
  YEAR = {1989},
  PAGES = {101--112},
  ADDRESS = {Munich, Germany},
  BOOKTITLE = {Proceedings of {VLSI} '89}
}

@INPROCEEDINGS{fourman89d,
  AUTHOR = {S. Finn and M. Fourman and M. Francis and R. Harris},
  TITLE = {Formal system design---interactive synthesis based on computer-assisted formal reasoning},
  BOOKTITLE = {IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Volume 1},
  YEAR = {1989},
  MONTH = {November},
  EDITOR = {Luc Claesen},
  PAGES = {97--110},
  PUBLISHER = {Elsevier Science Publishers, B.V. North-Holland, Amsterdam},
  ADDRESS = {Houthalen, Belgium}
}

@INPROCEEDINGS{fourman90,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Formal System Design},
  BOOKTITLE = {Formal Methods for {VLSI} Design},
  YEAR = {1990},
  EDITOR = {J{\o}rgen Staunstrup},
  PUBLISHER = {North-Holland},
  PAGES = {191--236}
}

@INPROCEEDINGS{fourman92,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Formal Design},
  BOOKTITLE = {Formal Design Methods for {VLSI}},
  EDITOR = {J{\o}rgen Staunstrup},
  PUBLISHER = {North-Holland},
  YEAR = {1992}
}

@INPROCEEDINGS{fourman91,
  AUTHOR = {M.P. Fourman and R Hexsel},
  TITLE = {Formal Synthesis},
  BOOKTITLE = {IV Higher Order Workshop, Banff 1990},
  YEAR = {1991},
  EDITOR = {Graham Birtwistle},
  PUBLISHER = {Springer-Verlag},
  PAGES = {245--264}
}

@INPROCEEDINGS{mayger91,
  AUTHOR = {E.M. Mayger and M.P. Fourman},
  TITLE = {Integration of Formal Methods with System Design},
  BOOKTITLE = {{IFIP TC 10/WG} 10.5 International Conference on Very Large
		 Scale Integration},
  YEAR = {1991},
  EDITOR = {A. Halaas and P.B. Denyer},
  ADDRESS = {Edinburgh, Scotland},
  PUBLISHER = {Elsevier},
  MONTH = {August}
}

@INPROCEEDINGS{chapman95,
  AUTHOR = {N. Chapman and S. Finn and M.P. Fourman},
  TITLE = {Datatypes in {L2}},
  BOOKTITLE = {Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings},
  YEAR = {1994},
  EDITOR = {T.F. Melham and J. Camillieri},
  PUBLISHER = {Springer-Verlag; Berlin, Germany},
  ADDRESS = {Valetta, Malta},
  MONTH = {September},
  PAGES = {128--43}
}

@MISC{finn90logic,
  AUTHOR = {S. Finn and M. Fourman},
  TITLE = {Logic Manual for the LAMBDA System},
  TEXT = {Simon Finn and Michael P. Fourman. Logic Manual for the LAMBDA System 3.2.
      Abstract Hardware Ltd., November 1990.},
  YEAR = {1990}
}

@MISC{finn93abstract,
  AUTHOR = {S. Finn and M. Fourman},
  TITLE = {The LAMBDA Logic. Abstract Hardware Limited,
      September 1993. In LAMBDA 4.3 Reference Manuals.},
  YEAR = {1993}
}

@INPROCEEDINGS{phoa92,
  AUTHOR = {Wesley Phoa and Michael Fourman},
  TITLE = {A proposed categorical semantics for Pure {ML}},
  BOOKTITLE = {{ICALP} '92 International Colloquium on Automata,
Languages, and Programming, Wien Austria},
  YEAR = {1992},
  PUBLISHER = {Springer-Verlag},
  EDITOR = {W. Kuich},
  SERIES = {Springer {LNCS}},
  PAGES = {533--544},
  URL = {http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-213/index.html},
  NOTE = {LFCS report ECS-LFCS-92-213}
}

@INPROCEEDINGS{fourman92b,
  AUTHOR = {M.P. Fourman},
  TITLE = {The {CAD} tool of the future},
  EDITOR = {J. van Leeuwen},
  BOOKTITLE = {Information Processing 92},
  YEAR = {1992},
  PUBLISHER = {Elsevier},
  NOTE = {discussion paper}
}

@INPROCEEDINGS{fourman95,
  AUTHOR = {M.P. Fourman and Hayo Thieleke},
  TITLE = {A Proposed  Categorical Semantics for {ML} Modules},
  BOOKTITLE = {Category Theory and Computer Science},
  EDITOR = {David Pitt and David E. Rydeheard and Peter Johnstone},
  YEAR = {1995},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science 953},
  PAGES = {240--252}
}

@INCOLLECTION{fourman96proof,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Proof and design},
  BOOKTITLE = {Deductive Program Design},
  PAGES = {397-439},
  PUBLISHER = {Springer},
  YEAR = {1996},
  EDITOR = {Manfred Broy},
  VOLUME = {152},
  SERIES = {NATO Advanced Science Institute, Series F: Computer and System Sciences},
  ADDRESS = {Marktoberdorf Germany},
  MONTH = {July},
  URL = {http://www.lfcs.inf.ed.ac.uk/reports/95/ECS-LFCS-95-319/index.html},
  NOTE = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, also available as LFCS report ECS-LFCS-95-319}
}

@ARTICLE{fourman96b,
  AUTHOR = {Simon Finn and Michael P. Fourman and John Longley},
  TITLE = {Partial Functions in a Total Setting},
  JOURNAL = {J. Automated Reasoning},
  YEAR = {1997},
  VOLUME = {18},
  NUMBER = {1},
  URL = {http://www.lfcs.inf.ed.ac.uk/reports/96/ECS-LFCS-96-341/index.html},
  PAGES = {85-104}
}

@ARTICLE{fourman96c,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Book Review},
  JOURNAL = {J. Functional Programming},
  VOLUME = {6},
  NUMBER = {1},
  YEAR = {1996},
  PAGES = {189--193},
  NOTE = {Three books on {ML}}
}

@INCOLLECTION{chapman97Reasoning,
  AUTHOR = {Nick Chapman and Simon Finn and Michael Fourman},
  EDITOR = {Carlos Delgado-Kloos and Werner Damm},
  TITLE = {Reasoning about {VHDL}},
  BOOKTITLE = {Practical Formal Methods for Hardware Design},
  OPTPAGES = {},
  PUBLISHER = {Springer},
  YEAR = {1996},
  VOLUME = {1},
  SERIES = {Research Reports Esprit},
  NOTE = {Project 6128, FORMAT},
  ISBN = {3-540-62007-9 }
}

@INPROCEEDINGS{fourman00,
  AUTHOR = {Michael P. Fourman},
  TITLE = {Propositional Planning},
  BOOKTITLE = {Workshop on Model-Theoretic Aproaches to Planning, AIPS 2000},
  YEAR = {2000},
  MONTH = {April},
  PAGE = {10--17},
  NOTE = {Available as EDI-INF-RR-0034},
  URL = {http://www.inf.ed.ac.uk/publications/report/0034.html}
}

@TECHREPORT{mayger89dialog,
  AUTHOR = {E. Mayger and M. Francis and R. Harris and G. Musgrave and M. Fourman},
  TITLE = {Dialog -- linking formal proof to the design environment},
  INSTITUTION = {Abstract Hardware Ltd.},
  ADDRESS = {Uxbridge, U. K.},
  YEAR = {1989}
}

@INCOLLECTION{fourman02,
  AUTHOR = {M.P. Fourman},
  TITLE = {informatics},
  BOOKTITLE = {International Encyclopedia of Information and Library Science (second edition)},
  PUBLISHER = {Routledge},
  YEAR = {2002},
  EDITOR = {John Feather and Paul Sturges},
  ISBN = {01315259010},
  URL = {http://www.inf.ed.ac.uk/publications/report/0139.html},
  NOTE = {Available as EDI-INF-RR-0139}
}

@MISC{camurati89,
  AUTHOR = {P. Camurati and S. Chin and M. Fourman and C. Pixley and P. Prinetto and
      A. Takahara},
  TITLE = {Formal verification: is it practical for realworld design},
  TEXT = {Paolo Camurati, Shiu-Kai Chin, Michael Fourman, Carl Pixley, Paolo Prinetto,
      and Atsushi Takahara. Formal verification: is it practical for realworld
      design? IEEE Design and Test of Computers, 6(6):50:58, December 1989. Roundtable
      discussion held at ICCD. BIBLIOGRAPHY 261},
  YEAR = {1989}
}