Mechanically Checked Proofs of Kernel Specification. - William R. Bevier; Jørgen F. Søgaard-Andersen (CAV, 1991)

A systematic kernel development. - Jørgen F. Søgaard-Andersen; Camilla Østerberg Rump; Hans Henrik Løvengreen (SIGSOFT, 1991)

At-Most-Once Message Delivery. A Case Study in Algorithm Verification. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (CONCUR, 1992)

Computer-Assisted Simulation Proofs. - Jørgen F. Søgaard-Andersen; Stephen J. Garland; John V. Guttag; Nancy A. Lynch; Anna Pogosyants (CAV, 1993)

Correctness of At-Most-Once Message Delivery Protocols. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (FORTE, 1993)

Liveness in Timed and Untimed Systems. - Roberto Segala; Rainer Gawlick; Jørgen F. Søgaard-Andersen; Nancy A. Lynch (Inf. Comput., 1998)