A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions | Publicación