Howard Barringer Graham Gough Brian Monahan Alan Williams Formal support for the ELLA hardwar description language. 225-245 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#BarringerGMW95