Title: Abstract resource-bound classes
Subjects: Set theory