et al.: CLU Reference Manual (1981)

by B Liskov