Monitoring Distributed Systems. - Jeffrey Joyce; Greg Lomow; Konrad Slind; Brian W. Unger (ACM Trans. Comput. Syst., 1987)

From formal verification to silicon compilation. - Jeffrey Joyce; Erwin Liu; John M. Rushby; Natarajan Shankar; Roberto Suaya; Friedrich W. von Henke (Compcon, 1991)