Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!bellcore!porthos!taichi!haim
From: haim@taichi.uucp (24122-Haim Kilov(L028)m000)
Newsgroups: comp.specification
Subject: Re: The best tutorial on formal specifications
Message-ID: <1991May21.145227.9474@porthos.cc.bellcore.com>
Date: 21 May 91 14:52:27 GMT
Article-I.D.: porthos.1991May21.145227.9474
References: <34341@mimsy.umd.edu> <34698@mimsy.umd.edu>
Sender: netnews@porthos.cc.bellcore.com (USENET System Software)
Reply-To: haim@taichi.UUCP (24122-Haim Kilov)
Organization: Bellcore, Livingston, NJ
Lines: 14

Some additional "motivational" sources:

[Dijkstra 76-1] E.W.Dijkstra. The teaching of programming, i.e., the teaching of
thinking. In: Lecture Notes in Computer Science, Vol.46. Springer Verlag, 1976.
[Dijkstra 82] E.W.Dijkstra. Selected writings on computing: a personal
perspective. Springer Verlag, 1982.
[Meyer 89] B.Meyer. From structured programming to object-oriented design: the
road to Eiffel. Structured Programming, Vol. 1 (1989), No. 1, pp.19-39.


Hope this helps.

-Haim Kilov
haim@bcr.cc.bellcore.com