Re: [stellation-res] Sorry for the

[Jim Wright - IBM Research <jwright@xxxxxxxxxxxxxx>]

At 02:08 PM 8/28/2003, Jonathan Gossage wrote:
> Subject: Re: [stellation-res] Sorry for the
>
>
> > More information about Z is available here:
> > http://www.zuser.org/z/
> >
>
> I tried the site several times but could get no response.

Odd..... I visited it this morning, but also cannot access it presently.
I found the site by Googling on "Z specification language" and looking
for promising/recommended hits.   There were some other
likely sites as well:

http://www.rbjones.com/rbjpub/cs/csfm03.htm
http://www.comlab.ox.ac.uk/archive/z.html

Both are accessible as I write this; the second (UK) site seems
to be particularly good.

Mark recommended this book to me:
The Way of Z: Practical Programming with Formal Methods, Jonathan Jacky. 
Cambridge University Press, 1997.

The book has a web site:  http://staff.washington.edu/~jon/z-book/

- Jim

--
Jim Wright, IBM T.J. Watson Research Center
*** The Stellation project: Advanced SCM for Collaboration
*** http://www.eclipse.org/stellation
*** Work Email: jwright@xxxxxxxxxxxxxx ------- Personal Email: 
jim.wright@xxxxxxx