Sriram Sankar Roger Hayes ADL - An Interface Definition Language for Specifying and Testing Software. 13-21 1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#SankarH94