%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Jim Grundy",
%%%     version         = "1.15",
%%%     date            = "25 November 2011",
%%%     time            = "15:56:43 MDT",
%%%     filename        = "grundy-jim.bib",
%%%     address         = "Department of Computer Science
%%%                        The Australian National University
%%%                        Canberra  ACT  0200
%%%                        AUSTRALIA",
%%%     telephone       = "?n/a?",
%%%     FAX             = "+61 (0)2 6249-0010",
%%%     URL             = "http://cs.anu.edu.au/~Jim.Grundy/",
%%%     checksum        = "12064 493 1844 19038",
%%%     email           = "Jim.Grundy at anu.edu.au (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX, bibliography, formal methods, logic",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Jim Grundy.  The companion LaTeX file
%%%                        grundy-jim.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.15, the year coverage looked
%%%                        like this:
%%%
%%%                             1991 (   4)    1994 (   0)    1997 (   2)
%%%                             1992 (   1)    1995 (   0)    1998 (   2)
%%%                             1993 (   3)    1996 (   9)
%%%
%%%                             Article:          2
%%%                             InCollection:     2
%%%                             InProceedings:    7
%%%                             PhdThesis:        1
%%%                             Proceedings:      4
%%%                             TechReport:       5
%%%
%%%                             Total entries:   21
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%-----------------------------------------------------------------------
% Institution abbreviations:

@String{inst-DSTO-ITD           = "Information Technology Division, Defence
                                  Science \& Technology Organisation"}

@String{inst-DSTO-ITD:adr       = "PO Box 1500, Salisbury SA 5108, Australia"}

@String{inst-SRI-CAM            = "SRI International, Cambridge Research
                                  Center"}

@String{inst-SRI-CAM:adr        = "Millers Yard, Mill Lane, Cambridge CB2
                                  1RQ, England"}

@String{inst-TUCS               = "Turku Centre for Computer Science"}

@String{inst-TUCS:adr           = "Lemmink{\"a}isenkatu 14, FIN-20520
                                  Turku, Finland"}

@String{inst-U-AN-DCS           = "Department of Computer Science, The
                                  Australian National University"}

@String{inst-U-AN-DCS:adr       = "Canberra ACT 0200, Australia"}

@String{inst-U-CAMBRIDGE-CL     = "Computer Laboratory, University of
                                  Cambridge"}

@String{inst-U-CAMBRIDGE-CL:adr = "New Museums Site, Pembroke Street,
                                  Cambridge CB2 3QG, England"}

@String{inst-U-DAVIS            = "University of California at Davis"}

%-----------------------------------------------------------------------
% Journal Abbreviations

@String{j-MU                    = "Mathesis Universalis"}

@String{j-COMP-J                = "The Computer Journal"}

%-----------------------------------------------------------------------
% Organization abbreviations:

% Association for Computing Machinery,
% Special Interest Group in Design Automation
@String{org-ACM-SIGDA           = "ACM-SIGDA"}

% British Computer Society,
% Special Interest Group in Formal Aspects of Computer Science
@String{org-BCS-FACS            = "BCS-FACS"}

% Finnish Artificial Intelligence Society
@String{org-FAIS                = "Finnish Artificial Intelligence Society"}

%-----------------------------------------------------------------------
% Publisher abbreviations:

@String{pub-IEEE-CS             = "IEEE Computer Society Press"}

@String{pub-SV                  = "Springer-Verlag"}

@String{pub-SV:adr              = "Berlin"}

%-----------------------------------------------------------------------
% Series abbreviations:

% ANU Joint Computer Science Technical Reports
@String{ser-ANU-CSTR		= "Joint Computer Science Technical Reports"}

% British Computer Society Series of Workshops in Computing.
@String{ser-BCS-WIC             = "Workshops in Computing"}

% Aukland & Waikato Centre for Discrete Math. & Theoretical Comp. Sci. Series
@String{ser-DMTCS               = "Discrete Mathematics \& Theoretical
                                  Computer Science"}

% Finnish Artificial Intelligence Society Symposium Series
@String{ser-FAIS-SS             = "Symposium Series"}

% Springer-Verlag's Lecture Notes in Computer Science Series
@String{ser-LNCS                = "Lecture Notes in Computer Science"}

% TUCS General Publications
@String{ser-TUCS-GP             = "TUCS General Publications"}

%-----------------------------------------------------------------------
% Bibliography entries:

@InCollection{Grundy:1991:HPL,
  author =       "Jim Grundy",
  booktitle =    "The {HOL} System",
  title =        "The {HOL} pair Library",
  volume =       "Libraries",
  publisher =    inst-SRI-CAM,
  address =      inst-SRI-CAM:adr,
  edition =      "2.01",
  month =        jul,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InCollection{Grundy:1991:HWL,
  author =       "Jim Grundy",
  booktitle =    "The {HOL} System",
  title =        "The {HOL} window Library",
  volume =       "Libraries",
  publisher =    inst-SRI-CAM,
  address =      inst-SRI-CAM:adr,
  edition =      "2.01",
  month =        jul,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@TechReport{Grundy:1991:RME,
  author =       "Jim Grundy",
  title =        "Report on {m-EVES}",
  type =         "ERL Research Report",
  number =       "ERL-0545-RR",
  institution =  inst-DSTO-ITD,
  address =      inst-DSTO-ITD:adr,
  month =        mar,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InProceedings{Grundy:1991:WIH,
  author =       "Jim Grundy",
  editor =       "Myla Archer and Jeffrey J. Joyce and Karl N. Levitt
                 and Phillip J. Windley",
  booktitle =    "Proceedings of the International Tutorial and Workshop
                 on the {HOL} Theorem Proving System and its
                 Applications",
  title =        "Window Inference in the {HOL} System",
  organization = org-ACM-SIGDA,
  publisher =    pub-IEEE-CS,
  address =      inst-U-DAVIS,
  pages =        "177--189",
  month =        aug,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InProceedings{Grundy:1992:WIT,
  author =       "Jim Grundy",
  editor =       "Cliff B. Jones and B. Tim Denvir and Roger C. F.
                 Shaw",
  booktitle =    "Proceedings of the 5th Refinement Workshop",
  title =        "A Window Inference Tool for Refinement",
  organization = org-BCS-FACS,
  publisher =    pub-SV,
  address =      "Lloyd's Register, London",
  pages =        "230--254",
  month =        jan,
  year =         "1992",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-BCS-WIC,
}

@PhdThesis{Grundy:1993:MPR,
  author =       "Jim Grundy",
  title =        "A Method of Program Refinement",
  type =         "PhD thesis, Technical Report 318",
  school =       inst-U-CAMBRIDGE-CL,
  address =      inst-U-CAMBRIDGE-CL:adr,
  month =        nov,
  year =         "1993",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InProceedings{Grundy:1993:PPS,
  author =       "Jim Grundy",
  editor =       "Dines Bj{\o}rner and Manfred Broy and Igor V.
                 Pottosin",
  booktitle =    "Formal Methods in Programming and Their Applications:
                 Proceedings of the International Conference",
  title =        "Predicative Programming {\emdash} {A} Survey",
  volume =       "735",
  publisher =    pub-SV,
  address =      "Novosibirsk, Russia",
  pages =        "8--25",
  month =        jun,
  year =         "1993",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-LNCS,
}

@InProceedings{Grundy:1993:TVL,
  author =       "Jim Grundy",
  editor =       "Dines Bj{\o}rner and Manfred Broy and Igor V.
                 Pottosin",
  booktitle =    "Formal Methods in Programming and Their Applications:
                 Proceedings of the International Conference",
  title =        "A Three-Valued Logic for Refinement",
  volume =       "735",
  publisher =    pub-SV,
  address =      "Novosibirsk, Russia",
  pages =        "26--42",
  month =        jun,
  year =         "1993",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-LNCS,
}

@Article{Grundy:1996:ABF,
  author =       "Jim Grundy",
  title =        "A Browsable Format for Proof Presentation",
  journal =      j-MU,
  volume =       "1",
  number =       "2",
  month =        "Spring",
  year =         "1996",
  bibdate =      "Mon Aug 12 08:58:35 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InProceedings{Grundy:1996:BFP,
  author =       "Jim Grundy",
  editor =       "Christoffer Gefwert and Pekka Orponen and Jouko
                 Sepp{\"a}nen",
  booktitle =    "Logic, Mathematics and the Computer --- Foundations:
                 History, Philosophy and Applications",
  title =        "A Browsable Format for Proof Presentation",
  volume =       "14",
  publisher =    org-FAIS,
  address =      "Helsinki, Finland",
  pages =        "171--178",
  month =        jun,
  year =         "1996",
  bibdate =      "Mon Jun 10 07:41:05 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-FAIS-SS,
}

@TechReport{Grundy:1996:SCA,
  author =       "Ralph Back and Jim Grundy and Joakim {von Wright}",
  title =        "Structured Calculational Proof",
  type =         "Joint Computer Science Technical Report",
  number =       "TR-CS-96-09",
  institution =  inst-U-AN-DCS,
  address =      inst-U-AN-DCS:adr,
  month =        nov,
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@TechReport{Grundy:1996:SCT,
  author =       "Ralph Back and Jim Grundy and Joakim {von Wright}",
  title =        "Structured Calculational Proof",
  type =         "TUCS Technical Report",
  number =       "65",
  institution =  inst-TUCS,
  address =      inst-TUCS:adr,
  month =        nov,
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@TechReport{Grundy:1996:TBR,
  author =       "Jim Grundy and Thomas L{\aa}ngbacka",
  title =        "Towards a Browsable Record of {HOL} Proofs",
  type =         "TUCS Technical Report",
  number =       "7",
  institution =  inst-TUCS,
  address =      inst-TUCS:adr,
  month =        may,
  year =         "1996",
  bibdate =      "Tue Jul 02 13:31:18 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@Article{Grundy:1996:THR,
  author =       "Jim Grundy",
  title =        "Transformational Hierarchical Reasoning",
  journal =      j-COMP-J,
  volume =       "39",
  number =       "4",
  pages =        "291--302",
  month =        may,
  year =         "1996",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620 (print), 1460-2067 (electronic)",
  ISSN-L =       "0010-4620",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@TechReport{Grundy:1996:TSE,
  author =       "Jim Grundy",
  title =        "Trustworthy Storage and Exchange of Theorems",
  type =         "TUCS Technical Report",
  number =       "1",
  institution =  inst-TUCS,
  address =      inst-TUCS:adr,
  month =        apr,
  year =         "1996",
  bibdate =      "Tue Jul 02 13:31:27 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
}

@InProceedings{Butler:1997:RCP,
  author =       "Michael Butler and Jim Grundy and Thomas L{\aa}ngbacka
                 and Rimvydas Ruk{\v{s}\.{e}}nas and Joakim {von
                 Wright}",
  editor =       "Lindsay Groves and Steve Reeves",
  booktitle =    "Formal Methods Pacific'97: Proceedings of FMP'97",
  title =        "The Refinement Calculator: Proof Support for Program
                 Refinement",
  publisher =    pub-SV,
  address =      "Wellington, New Zealand",
  pages =        "40--61",
  month =        jul,
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-DMTCS,
}

@InProceedings{Grundy:1997:RHP,
  author =       "Jim Grundy and Thomas L{\aa}ngbacka",
  editor =       "Michael Johnson",
  booktitle =    "Algebraic Methodology and Software Technology: 6th
                 International Conference, AMAST'97",
  title =        "Recording {HOL} Proofs in a Structured Browsable
                 Format",
  volume =       "1349",
  publisher =    pub-SV,
  address =      "Sydney, Australia",
  pages =        "567--571",
  month =        dec,
  year =         "1997",
  bibdate =      "Wed Jan 7 12:42:47 1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-LNCS,
}

%-----------------------------------------------------------------------
% Cross-referenced entries must come last:

@Proceedings{Wright:1996:SPI,
  editor =       "Joakim von Wright and Jim Grundy and John Harrison",
  booktitle =    "Supplementary Proceedings of the 9th International
                 Conference on Theorem Proving in Higher Order Logics:
                 {TPHOL}s'96",
  title =        "Supplementary Proceedings of the 9th International
                 Conference on Theorem Proving in Higher Order Logics:
                 {TPHOL}s'96",
  number =       "1",
  publisher =    inst-TUCS,
  address =      "Turku, Finland",
  pages =        "ii + 120",
  month =        aug,
  year =         "1996",
  ISBN =         "951-650-781-6",
  ISBN-13 =      "978-951-650-781-4",
  ISSN =         "1239-1905",
  bibdate =      "Tue Jul 2 13:32:03 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-TUCS-GP,
  keywords =     "Automatic theorem proving --- Congresses",
}

@Proceedings{Wright:1996:TPH,
  editor =       "Joakim von Wright and Jim Grundy and John Harrison",
  booktitle =    "Theorem proving in higher order logics: 9th
                 International Conference, {TPHOL}s'96, Turku, Finland,
                 August 26--30, 1996: proceedings",
  title =        "Theorem proving in higher order logics: 9th
                 International Conference, {TPHOL}s'96, Turku, Finland,
                 August 26--30, 1996: proceedings",
  volume =       "1125",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "viii + 446",
  year =         "1996",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-61587-3",
  ISBN-13 =      "978-3-540-61587-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.9.A96I577 1996",
  bibdate =      "Sat Dec 21 16:06:37 MST 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "Automatic theorem proving --- Congresses",
}

@Proceedings{Grundy:1998:TPE,
  editor =       "Jim Grundy and Malcolm Newey",
  booktitle =    "Theorem proving in higher order logics: emerging
                 trends: 11th international conference, {TPHOL}s'98,
                 Canberra, Australia, September 27 -- October 1, 1997:
                 supplementary proceedings",
  title =        "Theorem proving in higher order logics: emerging
                 trends: 11th international conference, {TPHOL}s'98,
                 Canberra, Australia, September 27 -- October 1, 1997:
                 supplementary proceedings",
  number =       "98-08",
  publisher =    inst-U-AN-DCS,
  address =      inst-U-AN-DCS:adr,
  pages =        "viii + 140",
  year =         "1998",
  ISBN =         "0-7315-4800-0",
  ISBN-13 =      "978-0-7315-4800-2",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-ANU-CSTR,
  keywords =     "Automatic theorem proving --- Congresses; Logic,
                 Symbolic and mathematical --- Congresses",
}

@Proceedings{Grundy:1998:TPH,
  editor =       "Jim Grundy and Malcolm Newey",
  booktitle =    "Theorem proving in higher order logics: 11th
                 international conference, {TPHOL}s'98, Canberra,
                 Australia, September 27 -- October 1, 1997:
                 proceedings",
  title =        "Theorem proving in higher order logics: 11th
                 international conference, {TPHOL}s'98, Canberra,
                 Australia, September 27 -- October 1, 1997:
                 proceedings",
  volume =       "1479",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "viii + 496",
  year =         "1998",
  ISBN =         "3-540-64987-5",
  ISBN-13 =      "978-3-540-64987-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.9.A96T655 1998",
  bibdate =      "Mon Oct 12 10:56:43 1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/g/grundy-jim.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "Automatic theorem proving --- Congresses; Logic,
                 Symbolic and mathematical --- Congresses",
}