Shih-Chien Chou Jason Jen-Yen Chen Chian-Goei Chung An executable specification language for specification understanding in object-oriented specification reuse. 419-434 1996 38 Information & Software Technology 6 http://dx.doi.org/10.1016/0950-5849(95)01080-7 db/journals/infsof/infsof38.html#ChouCC96