Significant Event Simulation. - Alan F. Babich; John Grason; David Lorge Parnas (Commun. ACM, 1975)

Proving Total Correctness of Parallel Programs. - Alan F. Babich (IEEE Trans. Software Eng., 1979)