Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 11 Jun 1994 17:44:13 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA09827;
          Sat, 11 Jun 1994 10:35:28 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA09823;
          Sat, 11 Jun 1994 10:35:28 -0600
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA02747;
          Sat, 11 Jun 1994 10:35:56 -0600
Message-Id: <9406111635.AA02747@jaguar.cs.byu.edu>
To: nbrock@cclink.draper.com
Cc: info-hol@leopard.cs.byu.edu
Subject: Re: email address for David A. Fura
In-Reply-To: Your message of Fri, 10 Jun 1994 14:57:00 -0400. <199406101844.MAA05773@bunsen.cs.byu.edu>
Date: Sat, 11 Jun 1994 10:35:56 -0600
From: Phil Windley <windley@lal.cs.byu.edu>



On Fri, 10 Jun 1994 14:57:00 EDT nbrock@cclink.draper.com writes
+--------------------
| 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, a
| Verification Methods for Fault-Tolerant Hardware Interpreters".
| 

From the <A HREF="http://lal.cs.byu.edu/lal/info-hol-list.html">info-hol
member list</A>:

     dfura@elvis.boeing.com 

--phil--

__________________________________________________________________________
Phillip J. Windley, Asst. Professor              |  windley@cs.byu.edu
Laboratory for Applied Logic	                 |  
Dept. of Computer Science, TMCB 3370             |
Brigham Young University                         |  Phone: 801.378.3722
Provo UT                  84602-6576             |  Fax:   801.378.7775
------------------------------------------------------------------------
If you use WWW, I'm <A HREF="http://lal.cs.byu.edu/people/windley/windley.html">here</A>.