the latest version of sources, documentation, newsletters,
workshop announcements, etc., for the Spin system can always
be found online at: http://netlib.bell-labs.com/netlib/spin/whatispin.html
online references live at: http://cm.bell-labs.com/cm/cs/what/spin/Man.html