Home›Books›John C. MitchellJohn C. MitchellNo biography available.Works (3)Great Lakes and great shipsTheoretical aspects of computer software1994Theoretical aspects of object-oriented programming