Larch Book Exists!

John and I have each received an advance copy of the book.

    Larch: Languages and Tools for Formal Specification
    John V. Guttag, James J. Horning
    with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing
    250 pages, 76 illustrations.
    Springer-Verlag ISBN 0-387-94006-5, ISBN 3-540-94006-5

Last I heard, US retail price was to be $39.50.

Check out all the larch trees on the cover!

Jim H.