ADA : an advanced introduction - Gehani, Narain. (Prentice Hall, 1989)
Includes bibliographical references & index