1. J. Cheng and K. Ushijima: Modeling the Ada Tasking Using Extended Petri Nets, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 48, No. 1, pp. 17–30, 1988.
2. J. Cheng and K. Ushijima: Analyzing Deadlocks and Livelocks in Concurrent Ada Programs Using Extended Petri Nets, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 48, No. 2, pp. 153–165, 1988.
3. J. Cheng: A Classification of Tasking Deadlocks, ACM Ada Letters, Vol. 10, No. 5, pp. 110–127, 1990.
4. J. Cheng: Task-Wait-For Graphs and Their Application to Handling Tasking Deadlocks, Proc. of the ACM Third Annual TRI-Ada Conference, pp. 376–390, Baltimore, USA, December 1990.
5. J. Cheng: A Survey of Tasking Deadlock Detection Methods, ACM Ada Letters, Vol. 11, No. 1, pp. 82–91, 1991.