Specification and validation methods /
Börger, E.(Egon),1946-
Oxford : Clarendon,
1995.