Martin R. Woodward Stephen P. Allen Slicing algebraic specifications. 105-118 1998 40 Information & Software Technology 2 http://dx.doi.org/10.1016/S0950-5849(98)00029-9 db/journals/infsof/infsof40.html#WoodwardA98