XinJie Jiang YongSen Xu NUSL: An Executable Specification Language Based on Data Abstraction. 124-138 1988 conf/fm/1988 VDM Europe db/conf/fm/vdme1988.html#JiangX88 http://dx.doi.org/10.1007/3-540-50214-9_12