Slicing algebraic specifications. - Martin R. Woodward; Stephen Peter Allen (Inf. Softw. Technol., 1998)

Algebraic specifications : investigations concerning their effectiveness for testing software, their quality and maintenance. - Stephen Peter Allen (1998)