Richard Mitchell, John Howse, Ali Hamie. Contract-Oriented Specifications. In TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China. pages 131-140, IEEE Computer Society, 1997. [doi]
Abstract is missing.