Bibtex

Klaus Ostermann, Nominal and Structural Subtyping in Component-Based Programming

Back