home
>
book reviews
> Barbara Liskov
Google >
Barbara Liskov
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
)