Manfred Broy Martin Wirsing Partial Abstract Types. 47-64 1982 18 Acta Inf. db/journals/acta/acta18.html#BroyW82