DMCA

A Language Extension for Expressing . . .

by Anita K. Jones , Barbara Liskov