Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima. A tasking deadlock detector for Ada programs. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. pages 56-63, IEEE, 1991. [doi]
Abstract is missing.