"A Model of Specification-Based Testing of Interactive Systems."

Ian MacColl, David A. Carrington (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics