June 4 1997 People (First 2 people) - Page 0

Computer Aided Verification

Book by Orna Grumberg

Basic Solid Mechanics

Book by David W. A. Rees