Certification trails for data structures (1991)

by G F Sullivan, G M Masson
Venue:In Proc. Twenty-First International Symposium on Fault-Tolerant Computing