Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid. Deterministic execution debugging of concurrent Ada programs. In Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. pages 102-109, IEEE, 1989. [doi]