《Go 语言原本》

# 第 5 章 同步模式

The fact that the construction can be defined in terms of simpler underlying primitives is a useful guarantee that its inclusion is logically consistent with the remainder of the language.
-- C.A.R. Hoare