Ming-Yuan Zhu Cheng-Wei Wang An Overview of Specification Language Universe. 42-48 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#ZhuW92