Automatic verification of programs with complex data structures - Suzuki, Norihisa, 1946- (Outstanding dissertations in the computer sciences, 1980)