TQL: A Tasking Query Language for Concurrent Program Analysis. - Christopher Black; Sol M. Shatz; S. Upp (ICDCS, 1992)