author : Barbara Liskov

Books

• CLU Reference Manual. 1981, with Russell Atkinson, Toby Bloom, et al.

Short works

• Specifications and Their Use in Defining Subtypes. 1995. (In ZUM '95 )