Brad T. Vander Zanden Richard L. Halterman Using model dataflow graphs to reduce the storage requirements of constraints. 223-265 2001 8 ACM Trans. Comput.-Hum. Interact. 3 http://doi.acm.org/10.1145/502907.502910 db/journals/tochi/tochi8.html#ZandenH01