A Hierarchical Method for Reasoning about Distributed Programming Languages. - Cui Zhang; Brian R. Becker; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1995)

Towards Applying the Composition Principle to Verify a Microkernel Operating System. - Mark R. Heckman; Cui Zhang; Brian R. Becker; Dave Peticolas; Karl N. Levitt; Ronald A. Olsson (TPHOLs, 1996)

Verification of a Distributed Computing. - Cui Zhang; Brian R. Becker; Dave Peticolas; Mark R. Heckman; Karl N. Levitt; Ronald A. Olsson (HICSS (5), 1997)

LVT: A Layered Verification Technique for Distributed Computing Systems. - Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt (Softw. Test. Verification Reliab., 1999)