Partial abstract types, Acfa Iform (1982)

by M BROY, M WIRSING