Software abstractions. (2012)

by Daniel Jackson