John Franco
GPG Public Key
Vitals
Biography
Jo
Su
Ver
Van
Class Notes
SBSAT
Seminar
Java Notes
Research
Summary
Articles
Conferences
Workshops
Talks
Grants
SAT Workshops
New Results
Book
Editing
Other
Resources
TCS Rolodex
TCS Genealogy
HBP Bibliographies
UCLID
Ohio Link
Engr Library
Encyc. Britannica
General Reference
Webster's Dictionary