Teoria dos tipos: diferenças entre revisões

http://www.nist.gov/dads/HTML/abstractDataType.html - Abstract data type

http://www.cs.ucsd.edu/users/goguen/ps/beatcs-adj.ps.gz - A summary paper on the formal basis of ADTs, relationship to category theory, and list of good references. Pages 3-4 appear relevant. Reference number [6] looks good, but it may not be available online.