"ACTS: A Type System for Object-Oriented Programming Based on Abstract and ..."

Mahesh H. Dodani, Chung-Shin Tsai (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics