Copyright (c) 1992 University of Bremen

The ASpecT system was developed by the ASpecT group at the University
of Bremen,   Fachbereich Informatik.  Permission  to copy the system,
to redistribute it, and to use it for any purpose is granted, subject
to the following restrictions and understandings.

1. Any copy made of the system  must include this copyright notice in
   full.

2. Users  of this software  agree to make  their best efforts  (a) to
   return  to the ASpecT group  any improvements  or  extensions that
   they make,  so that these may be included in future releases;  and
   (b) to inform the ASpecT group of noteworthy uses of the system.

3. All materials developed  as a consequence of the use of the system
   shall duly acknowledge  such use,   in accordance  with  the usual
   standards of acknowledging credit in academic research.

4. The ASpecT group has made no warrantee  or representation that the
   operation of the system will be error-free,  and  the ASpecT group
   is under no obligation to provide any services, by way of mainten-
   ance, update, or otherwise.

5. In conjunction with products  arising from the use  of the system,
   there shall be no use of  the name of the University of Bremen nor
   of  any adaptation  thereof  in any advertising,  promotional,  or
   sales literature without prior written consent from the University
   of Bremen in each case.
