This guide is included with the SPIN source distribution and should provide all the instruction you will need to begin using SPIN.
Index
Copyright (c) 1997 The University of Washington. All rights reserved.