Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 9 Jun 1993 01:52:54 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09660; Tue, 8 Jun 93 17:41:18 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA09655; Tue, 8 Jun 93 17:41:10 -0700 Received: by grolsch.cs.ubc.ca id AA10285 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Tue, 8 Jun 1993 17:41:27 -0700 Date: 8 Jun 93 17:41 -0700 From: hug93 To: info-hol Cc: parnas@triose.eng.mcmaster.ca Message-Id: <104*hug93@cs.ubc.ca> Subject: RE: ` Parnas: "some theorems we should prove" ' This is a follow-up to ... > Dave Parnas has submitted a paper to HUG'93 on "Some Theorems we Should > Prove" which gives examples of theorems that would be useful to prove > in the context of producing precise, provably complete documentation > for computer systems. With his permission, we have made a draft > version of this paper available by anonymous ftp as: > > cs.ubc.ca:/ftp/local/hug93/parnas.ps.Z If you have any questions about this paper, the author invites you to contact him at: Prof. David Lorge Parnas Communications Research Laboratory Department of Electrical and Computer Engineering McMaster University, Hamilton, Ontario Canada L8S 4K1 Telephone: 416 525 9140 Ext. 7353 Telefax: 416 521 2922 Telephone at home: 416 648 5772 Telefax at home: 416 648 5943 email: parnas@triose.eng.mcmaster.ca In particular, if you post something to info-hol, you might also cc it to parnas@triose.eng.mcmaster.ca.