The proof.ps file is a PostScript rendition of the article, "Kermit:
Specification and Verification" by James K. Huggins, EECS Department,
University of Michican, Ann Arbor, MI 48109-2122, huggins@umich.edu,
originally published in the book, Specification and Validation Methods,
ed. E. Boerger, Oxford University Press, 1995.  The article is reproduced
with the permission of Oxford University Press.

In this paper, the Kermit protocol is formally specified and proven
correct using an evolving algebra ("ealgebra") approach.