Kermit: specification and verification

James K. Huggins. Kermit: specification and verification. In Egon Börger, editor, Specification and validation methods. pages 247-293, Oxford University Press, 1993.

Abstract

Abstract is missing.