Checking linked data structures (1994)

by Nancy Amato, Michael Loui
Venue:In Proceedings of the 24th annual International Symposium on Fault-Tolerant Computing