"Approaches to Specification-Based Testing."

Debra J. Richardson, T. Owen O'Malley, C. Tittle (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics