CAFE: An Industrial-Strength Algebraic Formal Method
Preview
Springer, 1999. Răzvan Diaconescu, Joseph Goguen, and Petros Stefaneas.
Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors.
Logical Environments, pages 83–130. Cambridge, 1993. Proceedings of a
Workshop ...