Michael Young David L. Levine Richard N. Taylor Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''. 198-200 http://www.computer.org/tse/ts1993/e0198abs.htm 1993 19 IEEE Trans. Software Eng. 2 db/journals/tse/tse19.html#YoungLT93