copyright notice, ACM copyright
Last modified: Tue Jul 15 12:34:39 EDT 2014