Eros: A capability system (1997)

by J S Shapiro, J M Smith, D J Faber