Lightweight formal modeling and automatic analysis
were used to explore and correct the design and
implementation of the Intentional Naming System (INS).

1) Sarfraz Khurshid.
Analyzing and Correcting an Intentional Naming Scheme.
MIT, December 2001.

2) Sarfraz Khurshid.
Correcting a Naming Architecture Using Lightweight Constraint Analysis.
RQE Report, MIT Lab for Computer Science, December 2001.