EASE: an embedded algebraic specification environment | IEEE Conference Publication | IEEE Xplore