References

 [GLM⁺97]

Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, and Akiyoshi Sato. Distributed cooperative formal methods tools. In Proceedings, Automated Software Engineering (ASE'97), pages 55-62. IEEE, 1997. See http://www.cs.ucsd.edu/users/grosu/pubs/.

 [LD98]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary, version 0.99. CoFI Document: CASL/Summary-v0.99. WWW, FTP, April 1998.

 [Pnu98]

Amir Pnueli. Practical formal verification: how close are we? Talk at the ETAPS 98 conference, Lisbon, 1998.