Bolcer GA, Taylor RN. Endeavors: A Process System Integration Infrastructure. In: Proceedings of the IEEE Computer Society Fourth International Conference on the Software Process. Brighton, UK: IEEE Press; 1996. p. 76-85.
Young M, Levine DL, Taylor RN. Comments on "Temporal Logic-Based Deadlock Analysis for Ada.". IEEE Transactions on Software Engineering. 1993;19:198-9. Abstract