CLU : REFERENCE MANUAL - Liskov, Barbara (Springer Verlag, 1981)