EASE: an embedded algebraic specification environment.

Jiahua Qian, Yong Zheng, Liqun Jin, Jinhua Zhang

Browse the full COMPSAC paper archive.