Tom Whaley. A framework for program verification in the context of linked structures and pointer variables. In Nell B. Dale, editor, Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991. pages 119-123, ACM, 1991. [doi]
Abstract is missing.