Jay M. Spitzen
Ben Wegbreit and Jay M. Spitzen.
Proving properties of complex data structures.
Journal of the ACM
, 23(2):389-396, April 1976.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database