612 West 115th Street, New York NY 10025 USA • firstname.lastname@example.org
Kermit: Specification and Verification by James K. Huggins, EECS Department, University of Michican, Ann Arbor, MI 48109-2122, email@example.com, originally published in the book, Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995.
The book Specification and Validation Methods is available from Oxford University Press, ISBN 0-19-853854-5. Publication date: 3 August 1995. It is no longer available from the publisher but can be ordered from Amazon.com
The Kermit paper is available on the Web in PostScript format. It is 40 pages long; the file is 341K in length.
The article is reproduced with the permission of Oxford University Press.