Re: Refs wanted


You will find some "realistic" specifications of C interfaces for code that
actually compiles and runs in 

  Larch: Languages and Tools for Formal Specification
  John V. Guttag, et al.
  Springer-Verlag Texts and Monographs in Computer Science, 1993
  ISBN 0-387-94006-5, ISBN 3-540-94006-5

The major motivation for one of the most-widely known Z specification
efforts, the CICS project at IBM, was precisely reverse-engineering an
existing system that had to be expanded, upgraded, and substantially
rewritten.  I don't have any references handy, though.

Jim H.