Pascal : a problem solving approach - Koffman, Elliot B.