A first course in computer science with Ada