copyright notice, ACM copyright
Last modified: Mon May 12 17:24:20 EDT 2014