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

by J Zwanenburg