Jeffrey V. Nickerson
New York University
System design with Ada
Practical visual techniques in system design: with applications to Ada