Abstractions for recursive pointer data structures

Abstract
No abstract available