D.: Exploring the design of an intentional naming scheme with an automatic constraint analyzer (2000)

by S Khurshid, Jackson
Venue:In: Proceedings of the 15th IEEE international conference on Automated software engineering. ASE ’00