Universe Types for Topology and Encapsulation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-92188-2_4