Debra J. Richardson Stephanie Leif Aha Leon J. Osterweil Integrating Testing Techniques Through Process Programming. 219-228 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75333 db/conf/issta/tav89.html#RichardsonAO89