Title: Abstraction, specification and implementation techniques, with an application to garbage collection
Subjects: Electronic digital computers, Programming, Programming (Electronic computers)