Assertion techniques for dynamic monitoring of linear list data structures. - Stephen S. Yau; John L. Ramey (COMPSAC, 1979)

Assertion techniques for dynamic monitoring of linear list data structures. - Stephen S. Yau; John L. Ramey; Robin A. Nicholl (J. Syst. Softw., 1980)