Specification and validation methods

edited by Egon Börger
Oxford University Press
9780198538547
0-19-853854-5