Il-Hyung Cho, John D. McGregor. A formal approach to specifying and testing the interoperation between components. In A. Joe Turner, editor, Proceedings of the 38th Annual Southeast Regional Conference, 2000, Clemson, South Carolina, USA, April 7-8, 2000. pages 161-170, ACM, 2000. [doi]