Distributed software testing with specification. - Carl K. Chang; Cheng-Chung Song; Rong-Fa Wang (COMPSAC, 1990)