These lecture notes describe an Abstract Data Type approach to the specification of data structures meant to be implemented and monitored in an object-oriented imperative language.