naming conventions, negative tests for pre-conditions, non-public object properties, nondeterminism, notify(), , Nygard, Michael T.,