Lopes, AntoniaNunes, IsabelVasconcelos, Vasco T.2009-09-142014-11-142009-09-142014-11-142009-09-14http://hdl.handle.net/10451/15280http://repositorio.ul.pt/handle/10455/3170These 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.engSpecificationAbstract Data TypesJava classesother