Brad T. Vander Zanden Brad A. Myers Dario A. Giuse Pedro A. Szekely Integrating Pointer Variables into One-Way Constraint Models. 161-213 1994 1 ACM Trans. Comput.-Hum. Interact. 2 db/journals/tochi/tochi1.html#ZandenMGS94 http://doi.acm.org/10.1145/180171.180174