Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. - Sol M. Shatz; Khanh Mai; Christopher Black; Shengru Tu (IEEE Trans. Parallel Distributed Syst., 1990)

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