Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!snorkelwacker.mit.edu!bloom-beacon!eru!kth.se!sunic!mcsun!ukc!ox-prg!prg.ox.ac.uk!ajs
From: ajs@prg.ox.ac.uk (Adolfo Socorro)
Newsgroups: comp.specification
Subject: Re: Tutorial papers
Message-ID: <1770@culhua.prg.ox.ac.uk>
Date: 21 May 91 08:30:31 GMT
Article-I.D.: culhua.1770
Sender: news@prg.ox.ac.uk
Reply-To: ajs@prg.ox.ac.uk (Adolfo Socorro)
Organization: Oxford University Computing Laboratory, UK
Lines: 10

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}