Verifying reachability invariants of linked structures (1983)

by G Nelson
Venue:In POPL’83