Abstract related domains (2000)