Update the specification to reflect suggestions in issue #39
Remove lock observation; remove lock types; add references; refine definitions.
Minor adjustments
Merge pull request #42 from andrey-logvinov/gh-pages

Update the specification to reflect suggestions in issue #39