SMS dit: Programming in ADA / J.G.P. Barnes.