Software Systems Construction with Examples in Ada - SANDEN, Bo (Prentice-Hall International, Inc.)