Dokumen ini membahas tentang Tipe Data Abstrak (ADT) yang merupakan tipe data yang dibentuk berdasarkan imajinasi. ADT memiliki spesifikasi yang mencakup domain, operasi, elemen, dan struktur datanya. Format pendefinisian ADT meliputi nama, deskripsi struktur data, operasi-operasi yang mencakup input, precondition, process, output, dan postcondition. Contoh ADT yang diberikan adalah Lingkaran dengan data berupa jari-jari dan operasi lu