Ada for software engineers [ - BEN-ARI (Worldwide series in computer science, 1998)