Checking linked data structures (1994)

by N M Amato, M C Loui
Venue:In Proceedings of the 24th Annual International Symposium on Fault-Tolerant Computing