An overview of CAFE specification environment – an algebraic approach for creating, verifying, and maintaining formal specifications over networks (1997)

by K Futatsugi, A Nakagawa
Venue:In Proceedings of the 1st IEEE Int. Conference on Formal Engineering Methods