Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 10 Jun 1994 20:26:18 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA03751; Fri, 10 Jun 1994 13:14:08 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from ns.draper.com by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA03747; Fri, 10 Jun 1994 13:14:06 -0600 Received: from surname.draper.com by ns.draper.com id aa08944; 10 Jun 94 15:13 EDT Received: from ccgate.draper.com by surname.draper.com id aa21985; 10 Jun 94 15:13 EDT X-Ccgate-Env: info-hol@leopard.cs.byu.edu Received: from cclink via .elsewhere by ccgate.draper.com; Fri, 10 Jun 1994 15:13:00 EDT Date: Fri, 10 Jun 1994 14:57:00 EDT From: nbrock@cclink.draper.com Mmdf-Warning: Parse error in original version of preceding line at surname.draper.com Subject: email address for David A. Fura To: info-hol@leopard.cs.byu.edu Mmdf-Warning: Parse error in original version of preceding line at surname.draper.com Message-ID: <"swan.cl.cam.:188900:940610192658"@cl.cam.ac.uk> <<<<<< Attached TEXT item follows >>>>>> Text item: Text_1 Does anyone know the email address for David A. Fura (currently at Boeing?). I'm trying to obtain a copy of his thesis "Formal Abstraction, Composition, and Verification Methods for Fault-Tolerant Hardware Interpreters". - Neil