WLS: added missing citations on set semantics for types.