Check out "The World-Wide Web Virtual Library: Formal Methods"

using Mosaic or your favorite WWW browsing tool on the URL


Jonathan Bowen has done a really nice job.  I'm sure that he will be happy
to add any new links you can provide, or replace existing ones with better.
(I'm currently in the process of reorganizing the SRC Larch pages.  Stay

Jim H.