Message-Id: <199511131935.VAA10431@ra.abo.fi>
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
To: info-hol@leopard.cs.byu.edu
Cc: tfm@dcs.gla.ac.uk
Subject: HOL bibliography available.
Date: Mon, 13 Nov 1995 17:56:40 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>

I have recently put together a fairly large bibliography of HOL-related
papers that you can access on the World Wide Web. At present, all the
entries are in html format, and the list includes many hyperlinks to
abstracts or actual papers. There is also a separate list of dissertations
based around HOL.

My intention in compiling this bibliography was to provide a useful
resource for people doing theorem-prover research and applications
based on HOL (or other similar systems).  For example, the list
should provide beginning researchers (e.g. Ph.d. or M.Sc. students)
with a summary of useful starting points for HOL-based research.

To gain access, point your Web browser at

  http://www.dcs.gla.ac.uk/~tfm/hol-bib.html      [the bibliography]
  http://www.dcs.gla.ac.uk/~tfm/hol-theses.html   [dissertations only]

You can also gain access through my little HOL page:
  
  http://www.dcs.gla.ac.uk/~tfm/fmt/hol.html

Please feel free to send additions or corrections by email. It would
be most convenient if these were in the form of html entries that
I could just slot in at the appropriate point.  But information in
plain text form (or bibtex) is also welcome.

Tom Melham