Specification and validation methods (Clarendon Press, 1995)