D. N. Hoover

• A mathematical model for railway control systems
• Applications of formal methods to specification and safety of avionics software
• Printing charts for the mariner
• TBell