Editorial fixes.
Restructured to put emphasis on client API aspects. Removed informal definitions, using operational definitions instead.