Partial Abstract Types (1982)

by M Broy, M Wirsing
Venue:Acta Informatica