"Test Pattern Generation with Restrictors."

M. H. Konijnenburg, J. Th. van der Linden, A. J. van de Goor (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics