Program development in Java : abstraction, specification, and object-oriented design

by Liskov, B.
Published 2001

CLU : Reference Manual

by Liskov, B., Atkinson, R., Bloom, T., Moss, E.
Published 1981