On recent trends in algebraic specification
1989 ◽
pp. 263-288
◽