Books by John C. Mitchell
Theoretical aspects of object-oriented programming
Exploring New Frontiers of Theoretical Informatics
Trust Management II
Trust Management II
What's in, what's out; what's
What's in, what's out; what's hot, what's not!
Foundations for programming languages
Indians of the Great Lakes
Great Lakes and great ships