Title: Translating type hierarchies
First published: 1988