A Comparison of Languages for Specifying Abstract Interfaces. - Iftikhar Hussain Shah; Mike Tedd; Muhammad Akram Naul (Software Engineering Research and Practice, 2008)