Modular Development of Proofs“ in (1997)

by Inheritance Subtyping
Venue:Starke Normalisierung