Title: Ada as a paedeutic tool for abstract data types