FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. - Victoria Stavridou; Joseph A. Goguen; Andrew Stevens; Steven M. Eker; Serge N. Aloneftis; Keith Michael Hobley (TPCD, 1992)