%%% -*-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",
}