■ Reference. Cost-sensitive programming, verification, and semantics [niu-thesis]