James R. Russell, Robert E. Strom, Daniel M. Yellin: A Checkable Interface Language for Pointer-Based Structures. Workshop on Interface Definition Languages 1994: 59-73