DALE JOHNSON, K325
 MITRE
 BURLINGTON ROAD,
 BEDFORD, MASSACHUSETTS 01730

 JAMES MCWHA
 BOEING COMMERCIAL AIRPLANE
 P.O. BOX 3707
 MS 6N-89
 SEATTLE, WA 98124-2207

 NATIONAL SECURITY AGENCY
 ATTN:  BILL LEGATO
 MAIL STOP X1
 9800 SAVAGE ROAD
 FORT GEORGE MEADE, MD  2075-6000

 UNIV. OF CALIFORNIA, DAVIS
 ATTN:  PHIL WINDLEY
 DEPT. OF ELECT. ENG. AND COMP. SCI.
 4455 CHEM ANEX
 DAVIS, CA  95616

 ROGER KIECKHAFER
 DEPT. OF COMPUTER SCI. AND ENG.
 FERGUSON HALL
 UNIVERSITY OF NEBRASKA - LINCOLN
 LINCOLN, NE 68588-0115

 DR. JOHN KERSHAW
 RSRE MOD PE
 ST. ANDREWS ROAD
 MALVERN, WORCS WR14 3PS
 ENGLAND

 COMPUTATIONAL LOGIC, INC.
 ATTN:  BILL BEVIER
 1717 WEST 6TH STREET, SUITE 290
 AUSTIN, TX  78703-4776

 COMPUTATIONAL LOGIC, INC.
 ATTN:  BILL YOUNG
 1717 WEST 6TH STREET, SUITE 290
 AUSTIN, TX  78703-4776

 COMPUTATIONAL LOGIC, INC.
 ATTN:  WARREN HUNT
 1717 WEST 6TH STREET, SUITE 290
 AUSTIN, TX  78703-4776

 COMPUTATIONAL LOGIC, INC.
 ATTN:  DON GOOD
 1717 WEST 6TH STREET, SUITE 290
 AUSTIN, TX  78703-4776

 COMPUTATIONAL LOGIC, INC.
 ATTN:  JOHN MCHUGH
 SUITE 204
 3500 WESTGATGE DRIVE
 DURHAM, NC  27705

 SRI INTERNATIONAL
 ATTN:  BN132/JOHN RUSHBY 
 COMPUTER SCIENCE LAB (CSL)
 333 RAVENSWOOD AVENUE
 MENLO PARK, CA  94025

 SRI INTERNATIONAL
 ATTN:  NATARAJAN SHANKAR
 CSL--BN134
 333 RAVENSWOOD AVENUE
 MENLO PARK, CA  94025

 ODYSSEY RESEARCH ASSOCIATES, INC.
 ATTN:  DR. RICHARD PLATEK
 301A HARRIS B. DATES DRIVE
 ITHACA, NY  14850-1313

 ODYSSEY RESEARCH ASSOCIATES, INC.
 ATTN:  MARK BICKFORD
 301A HARRIS B. DATES DRIVE
 ITHACA, NY  14850-1313

 ODYSSEY RESEARCH ASSOCIATES, INC.
 ATTN:  MANDAYAM SRIVAS
 301A HARRIS B. DATES DRIVE
 ITHACA, NY  14850-1313

 ODYSSEY RESEARCH ASSOCIATES, INC.
 ATTN:  DAVID GUASPARI
 301A HARRIS B. DATES DRIVE
 ITHACA, NY  14850-1313

 ODYSSEY RESEARCH ASSOCIATES, INC.
 ATTN:  DOUG HOOVER
 301A HARRIS B. DATES DRIVE
 ITHACA, NY  14850-1313

 ODYSSEY RESEARCH ASSOCIATES
 ATTN:  MARK SAALTINK
 265 CARLING AVENUE, SUITE 506
 OTTAWA, ONTARIO K1S 2E1
 CANADA

 BOEING AEROSPACE & ELECTRONICS
 ATTN:  GERRY COHEN, MS 7J24
 P.O. BOX 24346
 SEATTLE, WA  98124-24346

 UNIV. OF CALIFORNIA, DAVIS
 ATTN:  KARL N. LEVITT
 DEPT. OF ELECT. ENG. AND COMP. SCI.
 4455 CHEM ANEX
 DAVIS, CA  95616

 UNIV. OF CALIFORNIA, DAVIS
 ATTN:  TOM SCHUBERT
 DEPT. OF ELECT. ENG. AND COMP. SCI.
 4455 CHEM ANEX
 DAVIS, CA  95616

 DR. CLIVE PYGOTT
 RSRE MOD PE
 ST. ANDREWS ROAD
 MALVERN, WORCS WR14 3PS
 ENGLAND

 RPI
 ATTN:  DAVE MUSSER
 COMPUTER SCIENCE DEPT.
 AMOS EATON HALL
 TROY, NY  12180

 UNIVERSITY OF VIRGINIA
 ATTN: JOHN KNIGHT
 DEPT. OF COMPUTER SCIENCE
 THORNTON HALL
 CHARLOTTESVILLE, VA. 22903

 NAVAL RESEARCH LABORATORY
 ATTN: ANDREW MOORE
 COMPUTER SECURITY CENTER, CODE 5542
 WASHINGTON, D.C. 20375-5000

 PETE SARACINI
 FAA TECH. CENTER
 ACD-230, BUILDING 201
 ATLANTA CITY AIRPORT
 ATLANTA CITY, NJ 08495

 KANG SHIN
 DEPT. OF ELECTRICAL ENG. & COMP. SCI.
 EECS 2225
 UNIVERSITY OF MICHIGAN
 ANN ARBOR, MICHIGAN  48109-1109

 RICK KUHN 
 TECHNOLOGY BLDG. B266
 U.S DEPT. OF COMMERCE
 NAT. INST. OF STANDARDS & TECHNOLOGY
 GAITHERSBURG, MD 20899

 MARK ARDIS
 SOFTWARE ENGINEERING INSTITUTE
 CARNEGIE MELLON UNIVERSITY
 PITTSBURG, PA 15213

 COL JOHN JAMES
 HQ TRADOC, ATRM-K
 FT MONROE, VA 23651

 JIM CALDWELL
 110 JUNIPER DRIVE
 ITHACA, NEW YORK, 14850

 MICHAEL P. DEWALT
 FAA
 SEATTLE AIRCRAFT CERTIFICATION OFFICE
 17900 PACIFIC HIGHWAY SOUTH, C-68966
 SEATTLE, WA 98168