Sarfraz Khurshid Daniel Jackson Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. 13-22 2000 ASE http://computer.org/proceedings/ase/0710/07100013abs.htm db/conf/kbse/ase2000.html#KhurshidJ00