Object-Oriented Concepts and Proof Rules: Formalization in Type Theory and Implementation in Yarrow (1998)

by J ZWANENBURG