Larch Book status

For all those wondering:

    The book is in production.  The latest word from Springer-Verlag 
    is that it will be available in January 1993.  Contact your friendly 
    bookstore or Springer salesman... 

    J.V. Guttag and J.J. Horning, with S.J. Garland, K.D. Jones, 
    A. Modet, and J.M. Wing, {\it Larch: Languages and Tools for 
    Formal Specification}, 250+viii pp., Springer-Verlag, New York, 

Jim H.