1. Using certification trails to achieve software fault tolerance;Sullivan,1990
2. Certification trails for data structures;Sullivan,1991
3. Designing programs that check their work;Blum;J. ACM,1995
4. LEDA: a library of efficient data types and algorithms;Mehlhorn,1989
5. LEDA, a platform for combinatorial and geometric computing;Mehlhorn;Communications of the ACM,1995