Supporting case analysis with algebraic specification languages | IEEE Conference Publication | IEEE Xplore