James R. Russell Robert E. Strom Daniel M. Yellin A Checkable Interface Language for Pointer-Based Structures. 59-73 1994 Workshop on Interface Definition Languages db/conf/idl/idl94.html#RussellSY94