Engineering a programming language: the type and class system of Sather (1993)

by C Szypersky, S Omohundro, S Murer
Venue:International Computer Science Institute, Berkley CA.[Meyer 88] B Meyer