Sarfraz Khurshid, Daniel Jackson. Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. In Fifteenth IEEE International Conference on Automated Software Engineering. ASE, pages 13-22, IEEE, 2000. [doi]
Abstract is missing.