A Comparison of Interface Specification Techniques. - Iftikhar Shah; Mike Tedd (Software Engineering Research and Practice, 2007)