Liskov B. & J. Guttag, Abstraction and Specification in Program Development, MIT Press 1986.
(1986)
Languages mentioned
Larch/CLU
{1986}