Simon S. Lam
-
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering