Programmed Deallocation without Dangling Reference (1983) [pdf]

Using fat pointers and indirect addressing, the authors make free(p) set to null not only p but also all the copies of p.