NUSL: An Executable Specification Language Based on Data Abstraction. - XinJie Jiang; YongSen Xu (VDM Europe, 1988)

Diverse executable semantics definitions in NUSL and an implementation of functional types. - XinJie Jiang; YongSen Xu (ACM SIGPLAN Notices, 1990)