| Fri, 14 Apr 1995 11:22:30 +0200 | lcp | Updated CADE reference | file | diff | annotate |
| Wed, 25 Jan 1995 04:00:27 +0100 | lcp | changed due to new .bib files | file | diff | annotate |
| Mon, 14 Nov 1994 10:41:25 +0100 | lcp | Added month for Coens thesis | file | diff | annotate |
| Wed, 19 Oct 1994 09:39:23 +0100 | lcp | trivial update to reference | file | diff | annotate |
| Wed, 12 Oct 1994 09:42:32 +0100 | lcp | Minor reference updates | file | diff | annotate |
| Fri, 09 Sep 1994 12:34:54 +0200 | lcp | added Abrial and Laffitte; Kunen; Winskel, etc. | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Fri, 12 Nov 1993 10:41:13 +0100 | lcp | Misc updates | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |