Re: Tutorial papers

Article View: comp.specification

Article #418

Back to comp.specification Previous Next

#418

From: Adolfo Socorro
Date: Tue, 21 May 1991 08:30

10 lines
854 bytes

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}

Technical Details

Message-ID: <1770@culhua.prg.ox.ac.uk>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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