University of Pittsburgh Computer Science Department, date unknown.