Checking linked data structures (1994)

by N M Amato, M C Loui
Venue:In FTCS-24: 24th International Symposium on Fault Tolerant Computing