Inference rules for multivalued dependencies. - William J. Pervin (ACM SIGCSE Bull., 1987)

Verification of Ada 1/0 statements. - William J. Pervin (ACM SIGCSE Bull., 1989)

Explicit dynamic exclusion algorithm. - Elizabeth B. Weidman; Ivor P. Page; William J. Pervin (SPDP, 1991)