[comp.specification] Tutorial papers

ajs@prg.ox.ac.uk (Adolfo Socorro) (05/21/91)

I am surprised nobody suggested the following classic:

@ARTICLE{Liskov-Zilles:tose75,
    AUTHOR  = "Liskov, Barbara H. and Zilles, Stephen N.",
    TITLE   = "Specification Techniques for Data Abstraction",
    JOURNAL = "Transactions on Software Engineering",
    MONTH   = "March",
    YEAR    = 1975,
    VOLUME  = 1,
    NUMBER  = 1}