Ostrand , T. J.; Balcer, M.J. "The category-partition method for specifying and generating fuctional tests" p676-686

[ACM] (1988) [ACM] CACM 31(06) (June 1988)  

Languages mentioned TSL {1989}