Automatic verification of programs with complex data structures - Suzuki, Norihisa (Garland, 1980)
Zugl.:Stanford (Calif.), Diss., 1976