The Collection of
Computer Science Bibliographies

Bibliography relating to algebra, program specification and verification, and logic

Number of references:	537	Last update:	August 26, 1997
Number of online publications:	25	Supported:	no
Most recent reference:	January 1992

Authors:: Rod Burstall <rb @ dcs . ed . ac . uk> (email mangled to prevent spamming)

Laboratory for the Foundations of Computer Science
University of Edinburgh

Razvan Diaconescu <Razvan . Diaconescu @ prg . ox . ac . uk> (email mangled to prevent spamming)

Programming Research Group
Oxford University

Original source:

Used to be available at
ftp://colonsay.dcs.ed.ac.uk/pub/rb/rbversion/tex.bib
but has disappeared.
Local copy in BibTeX format (40 KB, compressed with gzip)

Types:: incollection(169), article(129), book(88), techreport(83), misc(27), phdthesis(21), inproceedings(15), unpublished(3), inbook(1), journal(1)
Fields:: title(537), author(536), year(534), publisher(279), pages(277), note(210), booktitle(185), volume(132), journal(130), editor(128), number(110), institution(89), month(64), location(49), school(21), howpublished(6), edition(3), comment(2), editors(2), series(2), address(1), city(1), page(1)
Distribution of publication dates: