Oscar Nierstrasz Regular Types for Active Objects. 1-15 1993 OOPSLA db/conf/oopsla/oopsla93.html#Nierstrasz93