Partial abstract types (0)

by M Broy, M Wirsing
Venue:Acta Informatica